From a299030f82121b2d6a919b939a65ed2001a06a84 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Anders=20M=C3=B6rtberg?= <andersmortberg@gmail.com>
Date: Fri, 4 Dec 2015 15:07:10 -0500
Subject: [PATCH] another small test

---
 examples/shortsetquot.ctt | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/examples/shortsetquot.ctt b/examples/shortsetquot.ctt
index c76aa39..a568240 100644
--- a/examples/shortsetquot.ctt
+++ b/examples/shortsetquot.ctt
@@ -249,7 +249,7 @@ foo (x : bool') : bool = f x rem
 -- Time: 0m0.490s
 testfoo : bool = foo true'
 
-
+testfoo' : Id bool (foo true') true = <i> foo true'
 
 
 
-- 
2.34.1