From f2ba7b64bf6d294fbd42b943a3e29543cd1f3957 Mon Sep 17 00:00:00 2001
From: aarne <aarne@chalmers.se>
Date: Wed, 12 Apr 2017 08:59:58 +0000
Subject: [PATCH] commented out case_sensitive=off in App

---
 examples/app/AppFunctor.gf | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/examples/app/AppFunctor.gf b/examples/app/AppFunctor.gf
index e2b332151..fafb82c54 100644
--- 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 ;