diff --git a/src/hungarian/NounHun.gf b/src/hungarian/NounHun.gf index 70dc98ba..185b361b 100644 --- a/src/hungarian/NounHun.gf +++ b/src/hungarian/NounHun.gf @@ -125,7 +125,7 @@ concrete NounHun of Noun = CatHun ** open -- : Digits -> Card ; NumDigits dig = dig ** { s = \\place => dig.s ! NCard ; - numtype = IsDig ; + numtype = IsNum ; } ; -- : Numeral -> Card ; diff --git a/src/hungarian/ParamHun.gf b/src/hungarian/ParamHun.gf index 029969d0..f340c33a 100644 --- a/src/hungarian/ParamHun.gf +++ b/src/hungarian/ParamHun.gf @@ -112,7 +112,7 @@ param CardOrd = NOrd | NCard ; -- Not used yet - NumType = NoNum | IsDig | IsNum ; + NumType = NoNum | IsNum ; oper isNum : {numtype : NumType} -> Bool = \nt -> case nt.numtype of {