diff options
| author | aarne <unknown> | 2003-11-25 06:38:43 +0000 |
|---|---|---|
| committer | aarne <unknown> | 2003-11-25 06:38:43 +0000 |
| commit | 6705780cc27314bfa0d3a9ed5c9217d5043def02 (patch) | |
| tree | 48f7257e7eb1b9280e01db19bbd85b7257d085fc | |
| parent | 42c4ef025cf4bd0d4086c62020eb09af6e1754f7 (diff) | |
Added predefAbs
| -rw-r--r-- | grammars/prelude/PredefAbs.gf | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/grammars/prelude/PredefAbs.gf b/grammars/prelude/PredefAbs.gf new file mode 100644 index 000000000..2779bcd58 --- /dev/null +++ b/grammars/prelude/PredefAbs.gf @@ -0,0 +1,4 @@ +abstract PredefAbs = { + cat Int ; String ; +} ; + |