From: Anders <mortberg@chalmers.se>
Date: Thu, 23 Apr 2015 15:26:25 +0000 (+0200)
Subject: Fix set
X-Git-Url: https://git.ak3n.com/?a=commitdiff_plain;h=ca9fa9fb3dd2ea34c2f204edc0d8f0483e021d9d;p=cubicaltt.git

Fix set
---

diff --git a/examples/set.ctt b/examples/set.ctt
index 04607a6..67f0578 100644
--- a/examples/set.ctt
+++ b/examples/set.ctt
@@ -1,5 +1,7 @@
 module set where
 
+import prelude
+
 sqDepPath (A:U) (F:A->U) (sF:(x:A) -> set (F x))
           (a0 a1:A) (p:Id A a0 a1) (u0 : F a0) (u1 : F a1) (q r: IdP (<i> F (p@i)) u0 u1) :
     Id (IdP (<i> F (p@i)) u0 u1) q r = <i j> rem @ j @ i