diff options
Diffstat (limited to 'testdata/typesig.reject.out')
-rw-r--r-- | testdata/typesig.reject.out | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/testdata/typesig.reject.out b/testdata/typesig.reject.out index 6b643ecd..20a94f96 100644 --- a/testdata/typesig.reject.out +++ b/testdata/typesig.reject.out | |||
@@ -1,2 +1,2 @@ | |||
1 | focus checkMetas: labEnd \{[32ma[39m}->[47m<<HERE>>[49m | 1 | focus checkMetas: labEnd \{[32ma[39m}->[47m<<HERE>>[49m |
2 | [32m\([34ma[32m : [32mV0~'X[32m)->[32mX[32m[39m[K \ No newline at end of file | 2 | [32m\([34ma[32m : V0~'X)->X[39m[K \ No newline at end of file |