From fe15579b31ae531437dfcb9f692ae8c8dbb7dcb6 Mon Sep 17 00:00:00 2001 From: aarne Date: Wed, 29 Sep 2010 07:16:33 +0000 Subject: extended Attempto with some constructs --- examples/attempto/AttemptoEng.gf | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'examples/attempto/AttemptoEng.gf') diff --git a/examples/attempto/AttemptoEng.gf b/examples/attempto/AttemptoEng.gf index 19f3654f8..5e13b3aab 100644 --- a/examples/attempto/AttemptoEng.gf +++ b/examples/attempto/AttemptoEng.gf @@ -1,6 +1,6 @@ --# -path=.:present -concrete AttemptoEng of Attempto = SymbolsC ** AttemptoI with +concrete AttemptoEng of Attempto = SymbolsC,NumeralEng ** AttemptoI with (Syntax = SyntaxEng), (Symbolic = SymbolicEng), (LexAttempto = LexAttemptoEng) ; -- cgit v1.2.3