GitHub/gf-rgl
1
0 Fork 1
mirror of https://github.com/GrammaticalFramework/gf-rgl.git synced 2026-10-26 01:33:18 -06:00
Code Issues Packages Projects Releases Wiki Activity

Use conjunctDistrTable in ExtraGer.ConjVPI to get it to compile.

Browse Source
This commit is contained in:
bringert committed 2008-08-12 15:22:42 +00:00
1 parent 3227e9296c
commit 62c064e0e3
1 file changed
+1 -1
Download Patch File Download Diff File Expand all files Collapse all files
resource/german/ExtraGer.gf
+1 -1
View File
@@ -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) (