From b99256ca9af9108c8ee23838af495954f6fa4e09 Mon Sep 17 00:00:00 2001 From: bringert Date: Tue, 12 Aug 2008 15:22:42 +0000 Subject: [PATCH] Use conjunctDistrTable in ExtraGer.ConjVPI to get it to compile. --- lib/resource/german/ExtraGer.gf | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lib/resource/german/ExtraGer.gf b/lib/resource/german/ExtraGer.gf index 3827da2cb..518fe1713 100644 --- a/lib/resource/german/ExtraGer.gf +++ b/lib/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) (