14.292 Exception raised by unitac aspect

Prev Up Next 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 x conclude y, 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.

Prev Up Next Page 763 of 800 Search logiweb.eu

Copyright © 2010 Klaus Grue, GRD-2010-01-05