diff options
Diffstat (limited to 'examples/model/MathFre.gf')
| -rw-r--r-- | examples/model/MathFre.gf | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/examples/model/MathFre.gf b/examples/model/MathFre.gf index 87575ba06..2464907de 100644 --- a/examples/model/MathFre.gf +++ b/examples/model/MathFre.gf @@ -1,7 +1,5 @@ ---# -path=.:api:present:prelude:mathematical +--# -path=.:present:prelude concrete MathFre of Math = MathI with - (Grammar = GrammarFre), - (Combinators = CombinatorsFre), - (Predication = PredicationFre), + (Syntax = SyntaxFre), (Lex = LexFre) ; |