aboutsummaryrefslogtreecommitdiffhomepage
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