From c6b36b99c7e58ddc75517ab5a70f466569db74f5 Mon Sep 17 00:00:00 2001 From: aarne Date: Tue, 1 Sep 2015 08:29:10 +0000 Subject: [PATCH] removed obsolete flags from LangEng.gf --- lib/src/english/AllEng.gf | 2 +- lib/src/english/LangEng.gf | 4 ++-- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/lib/src/english/AllEng.gf b/lib/src/english/AllEng.gf index 24afb5927..6a5236048 100644 --- a/lib/src/english/AllEng.gf +++ b/lib/src/english/AllEng.gf @@ -1,4 +1,4 @@ ---# -path=.:../abstract:../common:../api:../prelude +--# -path=.:../abstract:../common:../api concrete AllEng of AllEngAbs = LangEng, diff --git a/lib/src/english/LangEng.gf b/lib/src/english/LangEng.gf index c5c8f2779..709e37b8d 100644 --- a/lib/src/english/LangEng.gf +++ b/lib/src/english/LangEng.gf @@ -1,4 +1,4 @@ ---# -path=.:../abstract:../common:../api:../prelude +--# -path=.:../abstract:../common:../api concrete LangEng of Lang = GrammarEng, @@ -8,6 +8,6 @@ concrete LangEng of Lang = ,MarkupEng - [stringMark] ** { -flags startcat = Phr ; unlexer = text ; lexer = text ; + } ;