diff options
Diffstat (limited to 'examples/attempto/AttemptoFre.gf')
| -rw-r--r-- | examples/attempto/AttemptoFre.gf | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/examples/attempto/AttemptoFre.gf b/examples/attempto/AttemptoFre.gf index 9bd7099a3..97eed0c73 100644 --- a/examples/attempto/AttemptoFre.gf +++ b/examples/attempto/AttemptoFre.gf @@ -1,6 +1,6 @@ --# -path=.:present -concrete AttemptoFre of Attempto = SymbolsC ** AttemptoI with +concrete AttemptoFre of Attempto = NumeralFre, SymbolsC ** AttemptoI with (Syntax = SyntaxFre), (Symbolic = SymbolicFre), (LexAttempto = LexAttemptoFre) ; |