From dcc0f3f56ca97971ce89cbbde80026c43c1db53a Mon Sep 17 00:00:00 2001
From: Krasimir Angelov <kr.angelov@gmail.com>
Date: Mon, 7 Sep 2026 16:14:16 +0200
Subject: [PATCH] added type signature for GF3

---
 src/maltese/ExtendMlt.gf | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/maltese/ExtendMlt.gf b/src/maltese/ExtendMlt.gf
index 982b9e1b..b612841e 100644
--- a/src/maltese/ExtendMlt.gf
+++ b/src/maltese/ExtendMlt.gf
@@ -224,7 +224,7 @@ oper
     num.s ! NumAdj ++ cn.s ! numform2nounnum num.n ++ prep_ta.enclitic ! agr ;
 
   pastPartStr : VPSlash -> GenNum -> Str = \vp,gn ->
-    let agr = toAgr gn in
+    let agr : Agr = toAgr gn in
     case exists Participle vp.v.pastPart of {
       True  => fromJust Participle vp.v.pastPart ! gn ++ vp.s2 ! agr ++ vp.c2.s ! Definite ;
       False => (vp.v.s ! VPerf (toVAgr agr)).s1 ++ vp.s2 ! agr ++ vp.c2.s ! Definite