diff options
| author | Péter Diviánszky <divipp@gmail.com> | 2016-01-28 16:26:27 +0100 |
|---|---|---|
| committer | Péter Diviánszky <divipp@gmail.com> | 2016-01-28 16:26:27 +0100 |
| commit | fcd23a3d39bde79bbb1809b3d71a62205fd37a54 (patch) | |
| tree | 368f9aa2c15bbd3164d50b031bfae834cc037ac4 /testdata/typesig.reject.out | |
| parent | 059607086800b901a293fa36f98a9adc8db2b0c3 (diff) | |
refactor focus
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 b00212a9..da3c6644 100644 --- a/testdata/typesig.reject.out +++ b/testdata/typesig.reject.out | |||
| @@ -1 +1 @@ | |||
| checkMetas inferN: [32m\([34ma[32m : V0~'X)->X[39m[K \ No newline at end of file | focus checkMetas: [32m\([34ma[32m : V0~'X)->X[39m[K \ No newline at end of file | ||