From abb3f4d60fd7a5cbd00d436cb093d25bd7544727 Mon Sep 17 00:00:00 2001
From: Herbert Lange <herbert.lange@cse.gu.se>
Date: Sat, 15 Jun 2019 19:04:08 +0200
Subject: [PATCH] change type of numerals (again)

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

diff --git a/src/latin/ResLat.gf b/src/latin/ResLat.gf
index 1d24eb7d3..24f7e407c 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 =