diff options
Diffstat (limited to 'examples/attempto/AttemptoEng.gf')
| -rw-r--r-- | examples/attempto/AttemptoEng.gf | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/examples/attempto/AttemptoEng.gf b/examples/attempto/AttemptoEng.gf index 5e13b3aab..80ccf64fb 100644 --- a/examples/attempto/AttemptoEng.gf +++ b/examples/attempto/AttemptoEng.gf @@ -1,7 +1,11 @@ --# -path=.:present -concrete AttemptoEng of Attempto = SymbolsC,NumeralEng ** AttemptoI with +concrete AttemptoEng of Attempto = SymbolsC,NumeralEng ** AttemptoI - [which_RP] with (Syntax = SyntaxEng), (Symbolic = SymbolicEng), - (LexAttempto = LexAttemptoEng) ; + (LexAttempto = LexAttemptoEng) ** open SyntaxEng, ExtraEng in { + +lin which_RP = SyntaxEng.which_RP | that_RP ; + +} ; |