Working on with new resource API.

1 files changed, 2 insertions, 1 deletions

diff --git a/grammars/prelude/Prelude.gf b/grammars/prelude/Prelude.gf
index 5d8734d04..8c29232e7 100644
--- a/grammars/prelude/Prelude.gf
+++ b/grammars/prelude/Prelude.gf
@@ -42,7 +42,7 @@ oper
 
 -- parametric order between two strings
   preOrPost : Bool -> Str -> Str -> Str = \pr,x,y -> 
-    if_then_else Str pr (x ++ y) (y ++ x) ;
+    if_then_Str pr (x ++ y) (y ++ x) ;
 
 -- Booleans
 
@@ -59,6 +59,7 @@ oper
   orB  : (_,_ : Bool) -> Bool = \a,b -> if_then_else Bool a True b ;
   notB : Bool         -> Bool = \a   -> if_then_else Bool a False True ;
 
+  if_then_Str : Bool -> Str -> Str -> Str = if_then_else Str ;
 
 -- zero, one, two, or more (elements in a list etc)