diff options
Diffstat (limited to 'test-suite/output/Arguments_renaming.out')
| -rw-r--r-- | test-suite/output/Arguments_renaming.out | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/test-suite/output/Arguments_renaming.out b/test-suite/output/Arguments_renaming.out index bdf0a0cf8..5273c59ec 100644 --- a/test-suite/output/Arguments_renaming.out +++ b/test-suite/output/Arguments_renaming.out @@ -1,9 +1,9 @@ The command has indeed failed with message: => Error: To rename arguments the "rename" flag must be specified. -Argument A renamed to B +Argument A renamed to B. The command has indeed failed with message: => Error: To rename arguments the "rename" flag must be specified. -Argument A renamed to T +Argument A renamed to T. @eq_refl : forall (B : Type) (y : B), y = y eq_refl @@ -110,4 +110,4 @@ The command has indeed failed with message: => Error: Extra argument y. The command has indeed failed with message: => Error: To rename arguments the "rename" flag must be specified. -Argument A renamed to R +Argument A renamed to R. |