From 57ef377e6dab0267d91faf15624bd4e331e2408f Mon Sep 17 00:00:00 2001
From: Krasimir Angelov <kr.angelov@gmail.com>
Date: Tue, 5 May 2026 21:42:57 +0200
Subject: [PATCH] added type signature

---
 src/hungarian/ResHun.gf | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/hungarian/ResHun.gf b/src/hungarian/ResHun.gf
index 9bbd6364..568be7df 100644
--- a/src/hungarian/ResHun.gf
+++ b/src/hungarian/ResHun.gf
@@ -428,7 +428,8 @@ oper
   v2tov3 : Verb2 -> Verb3 = \v -> v ** {c3 = Dat} ;
 
   mkVerb : (sg3 : Str) -> Verb = \sg3 ->
-    let inf = case sg3 of {
+    let inf : Str
+            = case sg3 of {
                 _ + ("ít" | (#c + #c)) => sg3 + harm3 "ani" "eni" "eni" ! getHarm sg3 ;
                 _                      => sg3 + "ni"
               }