ssr_clear.out « output « test-suite - coq - the Coq proof assistant

about summary refs log tree commit diff homepage

path: root/test-suite/output/ssr_clear.out

blob: 15159540600f3cec792aa8c508dbdc18611c96e0 (plain)

1
2
3

The command has indeed failed with message:
Ltac call to "move (ssrmovearg) (ssrclauses)" failed.
No assumption is named NO_SUCH_NAME