From c2b8d98400e9903ae39d990e63077762d4c4ee74 Mon Sep 17 00:00:00 2001
From: Krasimir Angelov <kr.angelov@gmail.com>
Date: Fri, 14 Jun 2024 10:53:59 +0200
Subject: [PATCH] fix AdvVPSlash

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

diff --git a/src/dutch/VerbDut.gf b/src/dutch/VerbDut.gf
index b28c5bc0..01828ebc 100644
--- a/src/dutch/VerbDut.gf
+++ b/src/dutch/VerbDut.gf
@@ -86,7 +86,7 @@ concrete VerbDut of Verb = CatDut ** open Prelude, ResDut in {
 
     AdVVP adv vp = insertAdV adv.s vp ;
 
-    AdvVPSlash vp adv = vp ** {a2 = vp.a2 ++ adv.s} ;
+    AdvVPSlash vp adv = vp ** {a2 = vp.a2 ++ adv.s; isHeavy=True} ;
     AdVVPSlash adv vp = vp ** {a1 = \\a => adv.s ++ vp.a1 ! a} ;
 
     ReflVP vp = insertObj (\\a => appPrep vp.c2.p1