From fcd23a3d39bde79bbb1809b3d71a62205fd37a54 Mon Sep 17 00:00:00 2001
From: Péter Diviánszky <divipp@gmail.com>
Date: Thu, 28 Jan 2016 16:26:27 +0100
Subject: refactor focus

---
 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 b00212a9..da3c6644 100644
--- a/testdata/typesig.reject.out
+++ b/testdata/typesig.reject.out
@@ -1 +1 @@
-checkMetas inferN: \(a : V0~'X)->X
\ No newline at end of file
+focus checkMetas: \(a : V0~'X)->X
\ No newline at end of file
-- 
cgit v1.2.3