From 3f228fae209e61879ffa22f55902b65382506683 Mon Sep 17 00:00:00 2001
From: Péter Diviánszky <divipp@gmail.com>
Date: Fri, 29 Jan 2016 15:20:29 +0100
Subject: fix let expression type

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

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

diff --git a/testdata/typesig.reject.out b/testdata/typesig.reject.out
index 58881830..6b643ecd 100644
--- a/testdata/typesig.reject.out
+++ b/testdata/typesig.reject.out
@@ -1 +1,2 @@
-focus checkMetas: \(a : V0~'X)->X
\ No newline at end of file
+focus checkMetas: labEnd \{a}-><<HERE>>
+\(a : V0~'X)->X
\ No newline at end of file
-- 
cgit v1.2.3