From 8c8adb014a03c62b8f5de6d48706ff7a64f09e1f Mon Sep 17 00:00:00 2001
From: Inari Listenmaa <inari.listenmaa@gmail.com>
Date: Thu, 11 Jan 2018 18:36:46 +0100
Subject: [PATCH] remove unnecessary noMerge

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

diff --git a/src/dutch/QuestionDut.gf b/src/dutch/QuestionDut.gf
index 9468c7fb7..f215e4886 100644
--- a/src/dutch/QuestionDut.gf
+++ b/src/dutch/QuestionDut.gf
@@ -29,7 +29,7 @@ concrete QuestionDut of Question = CatDut ** open ResDut in {
       s = \\t,a,p => 
             let 
               cls = slash.s ! t ! a ! p ;
-              who = appPrep slash.c2 (noMerge ** ip)
+              who = appPrep slash.c2 ip
             in table {
               QDir   => who ++ cls ! Inv ;
               QIndir => who ++ cls ! Sub