diff options
Diffstat (limited to 'examples/shallow/BigShallowEngAbs.gf')
| -rw-r--r-- | examples/shallow/BigShallowEngAbs.gf | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/examples/shallow/BigShallowEngAbs.gf b/examples/shallow/BigShallowEngAbs.gf index e13425a3f..06f9e936f 100644 --- a/examples/shallow/BigShallowEngAbs.gf +++ b/examples/shallow/BigShallowEngAbs.gf @@ -3,7 +3,7 @@ abstract BigShallowEngAbs = Shallow, BigLexEngAbs, - IrregEngAbs, +-- IrregEngAbs, ExtraEngAbs-[ ComplBareVS, -- : VS -> S -> VP ; -- know you go MkVPI -- : VP -> VPI ; |