*** empty log message ***

This commit is contained in:
janna
2004-12-07 20:37:36 +00:00
parent d42984a08f
commit b5ab17ca73

View File

@@ -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 ;