From e67f079167ab435134eab9963ed39973939665dc Mon Sep 17 00:00:00 2001 From: Krasimir Angelov Date: Sat, 29 Aug 2026 20:46:18 +0200 Subject: [PATCH] forgot to add type signature for InflectionCl --- src/abstract/Documentation.gf | 1 + 1 file changed, 1 insertion(+) diff --git a/src/abstract/Documentation.gf b/src/abstract/Documentation.gf index c8c3389d..69ecc6cb 100644 --- a/src/abstract/Documentation.gf +++ b/src/abstract/Documentation.gf @@ -35,6 +35,7 @@ fun InflectionAdA : AdA -> Inflection ; InflectionAdN : AdN -> Inflection ; InflectionPrep : Prep -> Inflection ; + InflectionCl : Cl -> Inflection ; fun NoDefinition : String -> Definition ;