From e755c013f8ad6e5b2f79c6ebb3e8748a981d7cd5 Mon Sep 17 00:00:00 2001
From: aarne <aarne@chalmers.se>
Date: Sun, 5 Jun 2016 17:48:11 +0000
Subject: added PassAgentV2 to App, and the specialized syntax functions to
 app.probs

---
 examples/app/AppFunctor.gf | 1 +
 1 file changed, 1 insertion(+)

(limited to 'examples/app/AppFunctor.gf')

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)) ;
 
-- 
cgit v1.2.3