1 files changed, 2 insertions, 2 deletions
diff --git a/testdata/traceTest.out b/testdata/traceTest.out
index ec44a1ab..e7af8716 100644
--- a/testdata/traceTest.out
+++ b/testdata/traceTest.out
@@ -10,5 +10,5 @@ testdata/traceTest.lc 10:6-10:25  Type
 testdata/traceTest.lc 10:17-10:24  Type
 testdata/traceTest.lc 10:19-10:20  V3
 testdata/traceTest.lc 10:22-10:23  V1
-testdata/traceTest.lc 11:1-11:2  'X (Type -> Type->Type) (\c:Type d:Type -> 'Tuple2 c d)
+testdata/traceTest.lc 11:1-11:2  X (Type -> Type->Type) (\c:Type d:Type -> Tuple2 c d)
-testdata/traceTest.lc 11:5-11:14  'X (Type -> Type->Type) (\c:Type d:Type -> 'Tuple2 c d)
+testdata/traceTest.lc 11:5-11:14  X (Type -> Type->Type) (\c:Type d:Type -> Tuple2 c d)

diff --git a/testdata/traceTest.out b/testdata/traceTest.out index ec44a1ab..e7af8716 100644 --- a/testdata/traceTest.out +++ b/testdata/traceTest.out
@@ -10,5 +10,5 @@ testdata/traceTest.lc 10:6-10:25 Type
10	testdata/traceTest.lc 10:17-10:24 Type	10	testdata/traceTest.lc 10:17-10:24 Type
11	testdata/traceTest.lc 10:19-10:20 V3	11	testdata/traceTest.lc 10:19-10:20 V3
12	testdata/traceTest.lc 10:22-10:23 V1	12	testdata/traceTest.lc 10:22-10:23 V1
13	testdata/traceTest.lc 11:1-11:2 'X (Type -> Type->Type) (\c:Type d:Type -> 'Tuple2 c d)	13	testdata/traceTest.lc 11:1-11:2 X (Type -> Type->Type) (\c:Type d:Type -> Tuple2 c d)
14	testdata/traceTest.lc 11:5-11:14 'X (Type -> Type->Type) (\c:Type d:Type -> 'Tuple2 c d)	14	testdata/traceTest.lc 11:5-11:14 X (Type -> Type->Type) (\c:Type d:Type -> Tuple2 c d)