diff options
| author | janna <unknown> | 2004-12-07 20:37:36 +0000 |
|---|---|---|
| committer | janna <unknown> | 2004-12-07 20:37:36 +0000 |
| commit | b5ab17ca73ee8f8c8ecc544759bf8ef10d1b6a73 (patch) | |
| tree | 1dfb5f3b4365ae65a81040263e6e5127609f39fa | |
| parent | d42984a08f8ea44123c84f267e060a7e97a003f0 (diff) | |
*** empty log message ***
| -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 204e43c81..13694416b 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 in { +incomplete concrete DatabaseI of Database = open Prelude, Resource, Structural in { flags lexer=text ; unlexer=text ; |