diff options
Diffstat (limited to 'test-suite/output/ssr_explain_match.out')
| -rw-r--r-- | test-suite/output/ssr_explain_match.out | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/test-suite/output/ssr_explain_match.out b/test-suite/output/ssr_explain_match.out index 32cfb354bf..0f68ab0b02 100644 --- a/test-suite/output/ssr_explain_match.out +++ b/test-suite/output/ssr_explain_match.out @@ -51,5 +51,4 @@ instance: (addnC y x) matches: (x + y) instance: (addnC y x) matches: (x + y) END INSTANCES The command has indeed failed with message: -Ltac call to "ssrinstancesoftpat (cpattern)" failed. Not supported |