From b5ab17ca73ee8f8c8ecc544759bf8ef10d1b6a73 Mon Sep 17 00:00:00 2001 From: janna Date: Tue, 7 Dec 2004 20:37:36 +0000 Subject: [PATCH] *** empty log message *** --- grammars/database/DatabaseI.gf | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 ;