diff options
Diffstat (limited to 'examples/SUMO/RGLExt/DictLangEng.gf')
| -rw-r--r-- | examples/SUMO/RGLExt/DictLangEng.gf | 9 |
1 files changed, 0 insertions, 9 deletions
diff --git a/examples/SUMO/RGLExt/DictLangEng.gf b/examples/SUMO/RGLExt/DictLangEng.gf deleted file mode 100644 index 6227348f5..000000000 --- a/examples/SUMO/RGLExt/DictLangEng.gf +++ /dev/null @@ -1,9 +0,0 @@ ---# -path=.:../../../lib/src/abstract:../../../lib/src/english:../../../lib/src/common
-
-concrete DictLangEng of DictLang =
- GrammarEng
- ** open ExtensionEng in {
-
-flags unlexer = text ; lexer = text ;
-
-} ;
|