From a995c944292e0408f9e7d577229ce979a40e519f Mon Sep 17 00:00:00 2001 From: krasimir Date: Wed, 17 Nov 2010 15:21:06 +0000 Subject: [PATCH] bugfix in function prefixV in ParadigmsEng --- lib/src/english/ParadigmsEng.gf | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/lib/src/english/ParadigmsEng.gf b/lib/src/english/ParadigmsEng.gf index 43bd8bcee..854c350c7 100644 --- a/lib/src/english/ParadigmsEng.gf +++ b/lib/src/english/ParadigmsEng.gf @@ -626,7 +626,7 @@ mkSubj : Str -> Subj = \s -> lin Subj {s = s} ; prepV2 : V -> Prep -> V2 ; dirV2 : V -> V2 ; - prefixV : Str -> V -> V = \p,v -> v ** { s = p + v.s } ; + prefixV : Str -> V -> V = \p,v -> lin V { s = \\vform => p + v.s ! vform; isRefl = v.isRefl } ; mkV2 = overload { mkV2 : V -> V2 = dirV2 ;