diff options
Diffstat (limited to 'grammars/database/DatabaseI.gf')
| -rw-r--r-- | grammars/database/DatabaseI.gf | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/grammars/database/DatabaseI.gf b/grammars/database/DatabaseI.gf index 13694416b..204e43c81 100644 --- a/grammars/database/DatabaseI.gf +++ b/grammars/database/DatabaseI.gf @@ -1,6 +1,6 @@ --# -path=.:../newresource/abstract:../prelude -incomplete concrete DatabaseI of Database = open Prelude, Resource, Structural in { +incomplete concrete DatabaseI of Database = open Prelude, Resource in { flags lexer=text ; unlexer=text ; |