From 62c064e0e3e5ef687db532c14229526bdf19fcb0 Mon Sep 17 00:00:00 2001
From: bringert <bringert@cs.chalmers.se>
Date: Tue, 12 Aug 2008 15:22:42 +0000
Subject: [PATCH] Use conjunctDistrTable in ExtraGer.ConjVPI to get it to
 compile.

---
 resource/german/ExtraGer.gf | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/resource/german/ExtraGer.gf b/resource/german/ExtraGer.gf
index 3827da2cb..518fe1713 100644
--- a/resource/german/ExtraGer.gf
+++ b/resource/german/ExtraGer.gf
@@ -9,7 +9,7 @@ concrete ExtraGer of ExtraGerAbs = CatGer **
     ConsVPI = consrTable Bool comma ;
 
     MkVPI vp = {s = \\b => useInfVP b vp} ;
-    ConjVPI = conjunctTable Bool ;
+    ConjVPI = conjunctDistrTable Bool ;
 
     ComplVPIVV v vpi = 
         insertInf (vpi.s ! v.isAux) (