|Page 763 of 800||Search internet|
Origin: check. Landing-place: diagnose.
Exception raised by the unitac aspect of: t
During tactic expansion of the unification tactic , the unification tactic does unitac expansion of x. Unitac expansion of t gave rise to an exception. This may indicate a bug in some unitac definition.
The term t is given out of context and after macro expansion, so start out by locating the error.
|Page 763 of 800||Search logiweb.eu|