ssr_clear.out « output « test-suite - debian-coq - Debian packaging for Coq

summary refs log tree commit diff

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