summaryrefslogtreecommitdiff
path: root/examples/attempto/AttemptoFre.gf
diff options
context:
space:
mode:
Diffstat (limited to 'examples/attempto/AttemptoFre.gf')
-rw-r--r--examples/attempto/AttemptoFre.gf2
1 files changed, 1 insertions, 1 deletions
diff --git a/examples/attempto/AttemptoFre.gf b/examples/attempto/AttemptoFre.gf
index f0665616f..22ec92df6 100644
--- a/examples/attempto/AttemptoFre.gf
+++ b/examples/attempto/AttemptoFre.gf
@@ -1,6 +1,6 @@
--# -path=.:/Users/aarne/GF/next-lib/present
-concrete AttemptoFre of Attempto = AttemptoI with
+concrete AttemptoFre of Attempto = SymbolsC ** AttemptoI with
(Syntax = SyntaxFre),
(Symbolic = SymbolicFre),
(LexAttempto = LexAttemptoFre) ;