Page 763 of 800
| 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 |