From 128809b7b8382acdd7ad46be95c0ac8a6d3231a7 Mon Sep 17 00:00:00 2001 From: aarne Date: Tue, 28 Oct 2008 14:05:11 +0000 Subject: fixes in next resource needed for Attempto --- next-lib/src/api/Constructors.gf | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'next-lib/src/api') diff --git a/next-lib/src/api/Constructors.gf b/next-lib/src/api/Constructors.gf index ed7b01560..3f29d4967 100644 --- a/next-lib/src/api/Constructors.gf +++ b/next-lib/src/api/Constructors.gf @@ -1631,7 +1631,7 @@ incomplete resource Constructors = open Grammar in { ComplV2 : V2 -> NP -> VP = \v,np -> ComplSlash (SlashV2a v) np ; ComplV2A : V2A -> NP -> AP -> VP = \v,np,ap -> ComplSlash (SlashV2A v ap) np ; - ComplV3 : V3 -> NP -> NP -> VP = \v,o,d -> ComplSlash (Slash2V3 v o) d ; + ComplV3 : V3 -> NP -> NP -> VP = \v,o,d -> ComplSlash (Slash3V3 v o) d ; that_NP : NP = DetNP (DetQuant that_Quant sgNum) ; this_NP : NP = DetNP (DetQuant this_Quant sgNum) ; -- cgit v1.2.3