restricted import of CatCze and Slo in Numeral

2020-04-30 11:45:46 +02:00
1 parent 16d89bef09
commit 9a45ab3889
@@ -1,6 +1,6 @@
 concrete NumeralCze of Numeral =

-  CatCze **
+  CatCze [Numeral,Digits] **
  
  open
    ResCze,
@@ -1,6 +1,6 @@
 concrete NumeralSlo of Numeral =

-  CatSlo **
+  CatSlo [Numeral,Digits] **
  
  open
    ResSlo,