diff options
Diffstat (limited to 'examples/app/AppFunctor.gf')
| -rw-r--r-- | examples/app/AppFunctor.gf | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/examples/app/AppFunctor.gf b/examples/app/AppFunctor.gf index b96bf1b1c..660f1ed57 100644 --- a/examples/app/AppFunctor.gf +++ b/examples/app/AppFunctor.gf @@ -39,6 +39,7 @@ lin PassV2 v2 = passiveVP v2 ; + PassAgentV2 v2 np = mkVP (passiveVP v2) (mkAdv by8agent_Prep np) ; RelV2 rp np v2 = mkRCl rp (mkClSlash np (mkVPSlash v2)) ; QuestV2 ip np v2 = mkQCl ip (mkClSlash np (mkVPSlash v2)) ; |