From 53f7d4ecfb7b101c29115d3ba7285757808bbb9c Mon Sep 17 00:00:00 2001
From: aarne <unknown>
Date: Tue, 22 Jun 2004 12:33:31 +0000
Subject: fixes in parsing

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

(limited to 'grammars')

diff --git a/grammars/prelude/Prelude.gf b/grammars/prelude/Prelude.gf
index 4f8ad78c5..385a734ec 100644
--- a/grammars/prelude/Prelude.gf
+++ b/grammars/prelude/Prelude.gf
@@ -1,6 +1,6 @@
 -- language-independent prelude facilities
 
-resource Prelude = {
+resource Prelude = open (Predef=Predef) in {
 
 oper
 -- to construct records and tables
-- 
cgit v1.2.3