diff options
Diffstat (limited to 'grammars/testConversions/MicroAbs.gf')
| -rw-r--r-- | grammars/testConversions/MicroAbs.gf | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/grammars/testConversions/MicroAbs.gf b/grammars/testConversions/MicroAbs.gf new file mode 100644 index 000000000..44a3a0982 --- /dev/null +++ b/grammars/testConversions/MicroAbs.gf @@ -0,0 +1,8 @@ + +abstract MicroAbs = { + +cat S; + +fun vars : S; + +} |
