From 6c3125c3e28c5a7e9a72c10564f03bc87605809c Mon Sep 17 00:00:00 2001
From: Aarne Ranta <aarne@chalmers.se>
Date: Thu, 14 Jun 2018 10:11:43 +0200
Subject: [PATCH] VPSlash in ExtensionsEng updated

---
 src/translator/ExtensionsEng.gf | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/translator/ExtensionsEng.gf b/src/translator/ExtensionsEng.gf
index f6c5b77bb..94db0f4c0 100644
--- a/src/translator/ExtensionsEng.gf
+++ b/src/translator/ExtensionsEng.gf
@@ -129,7 +129,7 @@ lin
 
   VPSlashVS vs vp = 
     insertObj (\\a => infVP VVInf vp Simul CPos a) (predV vs) **
-    {c2 = ""; gapInMiddle = False} ;
+    {c2 = ""; gapInMiddle = False ; missingAdv = True} ; ---- missingAdv?
 
   PastPartRS ant pol vps = {
     s = \\agr => vps.ad ! agr ++ vps.ptp ++ vps.p ++ vps.s2 ! agr ;