diff options
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 |