diff options
Diffstat (limited to 'examples/app/AppTha.gf')
| -rw-r--r-- | examples/app/AppTha.gf | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/examples/app/AppTha.gf b/examples/app/AppTha.gf index 8c46afa8d..094bd5a40 100644 --- a/examples/app/AppTha.gf +++ b/examples/app/AppTha.gf @@ -22,7 +22,9 @@ concrete AppTha of App = -- Construction -- Extensions PassVPSlash, PassAgentVPSlash -- not reachable anyway - ] + ], + PhrasebookTha - [open_Adv,closed_A,open_A,at_Prep] + ** AppFunctor with (Syntax = SyntaxTha) ; |