commented out case_sensitive=off in App

2017-04-12 08:59:58 +00:00
parent dd61e1dc19
commit f2ba7b64bf
1 changed files with 1 additions and 1 deletions
--- a/examples/app/AppFunctor.gf
+++ b/examples/app/AppFunctor.gf
@@ -27,7 +27,7 @@ incomplete concrete AppFunctor of App =

 flags
  literal=Symb ;
-  case_sensitive=off ;
+--  case_sensitive=off ;

 lin
  PhrasePhr p = {s = "+" ++ p.s} | p ;