diff options
author | Péter Diviánszky <divipp@gmail.com> | 2016-02-13 13:11:21 +0100 |
---|---|---|
committer | Péter Diviánszky <divipp@gmail.com> | 2016-02-13 13:11:38 +0100 |
commit | 32abd090f36c19cdeef4ad0c475a22d715d9bee3 (patch) | |
tree | f0916f10dbee548039677b0d56c5ee924800fc9b /testdata/typesig.reject.out | |
parent | 5a2116c429a9762d17440e30b88572dc5d0cbadd (diff) |
add structure to error messages
Diffstat (limited to 'testdata/typesig.reject.out')
-rw-r--r-- | testdata/typesig.reject.out | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/testdata/typesig.reject.out b/testdata/typesig.reject.out index 20a94f96..03cec004 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[m}->[47m<<HERE>>[m |
2 | [32m\([34ma[32m : V0~'X)->X[39m[K \ No newline at end of file | 2 | [32m\([34ma[m : [32m[32m[32m[32mV0[m[m~[32m'X[m[m[m)->[32mX[m[m \ No newline at end of file |