diff options
Diffstat (limited to 'examples/app/AppFin.gf')
| -rw-r--r-- | examples/app/AppFin.gf | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/examples/app/AppFin.gf b/examples/app/AppFin.gf index 43e1bfc20..f09c9ca94 100644 --- a/examples/app/AppFin.gf +++ b/examples/app/AppFin.gf @@ -22,6 +22,8 @@ concrete AppFin of App = -- Construction -- Extensions PassVPSlash, PassAgentVPSlash -- not reachable anyway - ] + ], + PhrasebookFin - [open_Adv,closed_A,open_A,at_Prep] + ** AppFunctor with (Syntax = SyntaxFin) ; |