From afa8586e00c807f83f3819b722944f0a658a5ab5 Mon Sep 17 00:00:00 2001
From: Krasimir Angelov <kr.angelov@gmail.com>
Date: Mon, 28 Sep 2026 07:42:27 +0200
Subject: [PATCH] added type signature for GF3

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

diff --git a/src/bulgarian/ConstructionBul.gf b/src/bulgarian/ConstructionBul.gf
index bcdfe7fd..b49588ea 100644
--- a/src/bulgarian/ConstructionBul.gf
+++ b/src/bulgarian/ConstructionBul.gf
@@ -33,7 +33,7 @@ lin
   is_wrong_VP = mkVP (mkA079 "грешен") ;
   n_units_AP card cn a = mkAP (lin AdA (mkUtt (mkNP <lin Card card : Card> (lin CN cn)))) (lin A a) ;
   n_units_of_NP card cn np =
-    let unit = mkNP <lin Card card : Card> (lin CN cn)
+    let unit : NP = mkNP <lin Card card : Card> (lin CN cn)
     in {
       s  = \\role => unit.s ! role ++ np.s ! R.RObj R.CPrep ;
       gn = unit.gn ;