1 files changed, 3 insertions, 2 deletions
diff --git a/examples/features/Param.gf b/examples/features/Param.gf
index 0b5ed2453..15b0cd8b7 100644
--- a/examples/features/Param.gf
+++ b/examples/features/Param.gf
@@ -2,9 +2,10 @@ resource Param = {
 
   param Bool = True | False ;
 
-  oper and : Bool -> Bool -> Bool = \x,y -> case x of {
+  oper and  -- : Bool -> Bool -> Bool 
+   = \\x,y => case x of {
     True => y ;
-    _ => False
+    False => False
     } ;
 
 }