From f1293beb6ef4ee73701e5582c1050b7fd86330ea Mon Sep 17 00:00:00 2001
From: Péter Diviánszky <divipp@gmail.com>
Date: Mon, 1 Feb 2016 05:15:42 +0100
Subject: erease lambda argument type and constructor type parameters

---
 testdata/typesig.reject.out | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'testdata/typesig.reject.out')

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 @@
 focus checkMetas: labEnd \{a}-><<HERE>>
-\(a : V0~'X)->X
\ No newline at end of file
+\(a : V0~'X)->X
\ No newline at end of file
-- 
cgit v1.2.3