summaryrefslogtreecommitdiff
path: root/examples/app/AppEst.gf
diff options
context:
space:
mode:
Diffstat (limited to 'examples/app/AppEst.gf')
-rw-r--r--examples/app/AppEst.gf2
1 files changed, 2 insertions, 0 deletions
diff --git a/examples/app/AppEst.gf b/examples/app/AppEst.gf
index b7986172e..a8d52623f 100644
--- a/examples/app/AppEst.gf
+++ b/examples/app/AppEst.gf
@@ -23,5 +23,7 @@ concrete AppEst of App =
-- Extensions
PassVPSlash, PassAgentVPSlash -- not reachable anyway
]
+ ,PhrasebookEst - [open_Adv,closed_A,open_A,at_Prep]
+
** AppFunctor with (Syntax = SyntaxEst) ;