diff options
| author | aarne <unknown> | 2004-06-22 12:33:31 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2004-06-22 12:33:31 +0000 |
| commit | 53f7d4ecfb7b101c29115d3ba7285757808bbb9c (patch) | |
| tree | 583ba348c14a7a22d7e21801e321e3355b88fdb0 /grammars | |
| parent | 3986f8c265e09043770480fe85ae5350e807a4a4 (diff) | |
fixes in parsing
Diffstat (limited to 'grammars')
| -rw-r--r-- | grammars/prelude/Prelude.gf | 2 |
1 files changed, 1 insertions, 1 deletions
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 |