fix compilation

This commit is contained in:
Krasimir Angelov
2026-03-06 14:30:29 +01:00
parent bd41b3ccb7
commit 62c5030be1

View File

@@ -1,6 +1,5 @@
concrete NumeralMkd of Numeral = CatMkd [Numeral,Digits,Decimal] ** open Prelude,ResMkd in { concrete NumeralMkd of Numeral = CatMkd [Numeral,Digits,Decimal] ** open Prelude,ResMkd in {
flags
coding = "UTF-8" ;
lin D_0 = mkDig "0" Pl ; lin D_0 = mkDig "0" Pl ;
lin D_1 = mkDig "1" Sg ; lin D_1 = mkDig "1" Sg ;
lin D_2 = mkDig "2" Pl ; lin D_2 = mkDig "2" Pl ;