another small test

diff --git a/examples/shortsetquot.ctt b/examples/shortsetquot.ctt
index c76aa39bcb74ca94f37be86f87889a25fcd156e8..a568240dffa7fa99ea0de516ea86246b2d15ea4c 100644 (file)
--- 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'