diff options
Diffstat (limited to 'examples/shallow')
| -rw-r--r-- | examples/shallow/BigShallowEng.gf | 2 | ||||
| -rw-r--r-- | examples/shallow/BigShallowEngAbs.gf | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/examples/shallow/BigShallowEng.gf b/examples/shallow/BigShallowEng.gf index 0a474afca..bb83e83fd 100644 --- a/examples/shallow/BigShallowEng.gf +++ b/examples/shallow/BigShallowEng.gf @@ -3,7 +3,7 @@ concrete BigShallowEng of BigShallowEngAbs = ShallowEng, BigLexEng, - IrregEng, +-- IrregEng, ExtraEng-[ ComplBareVS,MkVPI ] 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 ; |