diff --git a/src/latin/ResLat.gf b/src/latin/ResLat.gf index 1d24eb7d..24f7e407 100644 --- a/src/latin/ResLat.gf +++ b/src/latin/ResLat.gf @@ -1407,7 +1407,7 @@ oper oper -- Numerals are by default cardinal numbers but have a field for ordinal numbers TDigit : Type = { s : Unit => Gender => Case => Str } ; -- ord : Unit => Agr => Str } ; - Numeral : Type = { s : Gender => Case => Str ; n : Number ; ord : Unit => Agr => Str } ; + Numeral : Type = { s : Gender => Case => Str ; n : Number } ; -- ord : Unit => Agr => Str } ; -- Inflection for cardinal numbers cardFlex : Str -> Gender => Case => Str =