diff options
Diffstat (limited to 'examples/model/MathEng.gf')
| -rw-r--r-- | examples/model/MathEng.gf | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/examples/model/MathEng.gf b/examples/model/MathEng.gf index fcba8851b..681ef5b31 100644 --- a/examples/model/MathEng.gf +++ b/examples/model/MathEng.gf @@ -1,7 +1,5 @@ ---# -path=.:api:present:prelude:mathematical +--# -path=.:present:prelude concrete MathEng of Math = MathI with - (Grammar = GrammarEng), - (Combinators = CombinatorsEng), - (Predication = PredicationEng), + (Syntax = SyntaxEng), (Lex = LexEng) ; |