From 4f749d8bae3756baf22286aed3cbdc05212247e8 Mon Sep 17 00:00:00 2001 From: aarne Date: Wed, 16 Dec 2009 15:42:47 +0000 Subject: [PATCH] ImpP3 in IdiomEng --- lib/src/english/IdiomEng.gf | 2 ++ 1 file changed, 2 insertions(+) diff --git a/lib/src/english/IdiomEng.gf b/lib/src/english/IdiomEng.gf index 87fb03136..d725b903f 100644 --- a/lib/src/english/IdiomEng.gf +++ b/lib/src/english/IdiomEng.gf @@ -26,5 +26,7 @@ concrete IdiomEng of Idiom = CatEng ** open Prelude, ResEng in { ImpPl1 vp = {s = "let's" ++ infVP True vp (AgP1 Pl)} ; + ImpP3 np vp = {s = "let" ++ np.s ! Acc ++ infVP True vp np.a} ; + }