diff options
| author | aarne <unknown> | 2005-01-11 15:06:12 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2005-01-11 15:06:12 +0000 |
| commit | 87b55df10f00fd23d89a89bfb7c4354ff455d83d (patch) | |
| tree | 91d46e3592a49de8cf7b6b3917fcc0077df1dbd6 /grammars/database | |
| parent | bb3d2e1d42e662a3add785670f289787d2e492e2 (diff) | |
-val optimization
Diffstat (limited to 'grammars/database')
| -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 ; |