|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|