From 2cf99611bcfbdd0e29fcc7b33fdb64d917432716 Mon Sep 17 00:00:00 2001 From: Inari Listenmaa Date: Fri, 17 Apr 2020 15:30:09 +0200 Subject: [PATCH] (Hun) Update SymbOrd after changes in lincat of Ord --- src/hungarian/SymbolHun.gf | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/hungarian/SymbolHun.gf b/src/hungarian/SymbolHun.gf index 5a645302d..47f7c990a 100644 --- a/src/hungarian/SymbolHun.gf +++ b/src/hungarian/SymbolHun.gf @@ -42,7 +42,7 @@ lin SymbNum sy = baseNum ** {s = \\_ => sy.s} ; -- : Symb -> Ord ; - SymbOrd sy = {s = sy.s ; n=Pl} ; + SymbOrd sy = {s = \\n => sy.s ; n=Pl} ; lincat Symb, [Symb] = SS ;