From dd8b2c32d466271c72952ff17942e6f16929019e Mon Sep 17 00:00:00 2001
From: aarne <aarne@cs.chalmers.se>
Date: Fri, 7 Dec 2007 10:23:18 +0000
Subject: [PATCH] refresh compilation phase in the new format

---
 prelude/Prelude.gf | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/prelude/Prelude.gf b/prelude/Prelude.gf
index 45445a261..56545d051 100644
--- a/prelude/Prelude.gf
+++ b/prelude/Prelude.gf
@@ -27,7 +27,7 @@ oper
 
 -- Discontinuous constituents.
 
-  SD2 = {s1,s2 : Str} ;
+  SD2 : Type = {s1,s2 : Str} ;
   sd2 : (_,_ : Str) -> SD2 = \x,y -> {s1 = x ; s2 = y} ;