aboutsummaryrefslogtreecommitdiffhomepage
path: root/test-suite/output/Errors.out
blob: bcc37b635d7531b09c767342ef65f11cc13210b4 (plain)
1
2
3
4
5
6
7
The command has indeed failed with message:
=> Error: The field t is missing in Top.M.
The command has indeed failed with message:
=> Error: Unable to unify "nat" with "True".
The command has indeed failed with message:
=> In nested Ltac calls to "f" and "apply x", last call failed.
Error: Unable to unify "nat" with "True".