From 1bf55bbf95e43e4e604c36e4ac706a3b7bc214f6 Mon Sep 17 00:00:00 2001
From: peb <peb@cs.chalmers.se>
Date: Thu, 9 Feb 2006 10:41:31 +0000
Subject: [PATCH] two versions of optStr in Prelude.gf

---
 lib/prelude/Prelude.gf | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/lib/prelude/Prelude.gf b/lib/prelude/Prelude.gf
index cbda26ecb..ec68db8e5 100644
--- a/lib/prelude/Prelude.gf
+++ b/lib/prelude/Prelude.gf
@@ -20,8 +20,8 @@ oper
 
   nonExist : Str = variants {} ;
 
-  optStr : Str -> Str = \s -> variants {[] ; s} ;
-  strOpt : Str -> Str = \s -> variants {s ; []} ;
+  optStr : Str -> Str = \s -> variants {s ; []} ;
+  strOpt : Str -> Str = \s -> variants {[] ; s} ;
 
   constTable : (A,B : Type) -> B -> A => B = \_,_,b -> \\_ => b ;
   constStr   : (A : Type) -> Str -> A => Str = \A -> constTable A Str ;