From 87b55df10f00fd23d89a89bfb7c4354ff455d83d Mon Sep 17 00:00:00 2001
From: aarne <unknown>
Date: Tue, 11 Jan 2005 15:06:12 +0000
Subject: -val optimization

---
 grammars/database/DatabaseI.gf | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'grammars/database')

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 ;
 
-- 
cgit v1.2.3