Page 749 of 800
| Page 749 of 800 | Search internet |
Origin: check. Landing-place: diagnose.
Incomplete unification. Uninstantiated variable: x
The unification tactic had insufficient information for finding values for all metavariables that needed to be instantiated. The problem does not need be related to x, but looking at x could be a starting point. Once the line in error is located, a way to get rid of the message is to write out the argumentation (the left hand side of 
) in more detail.
| Page 749 of 800 | Search logiweb.eu |