Dutch: added restricted inheritance of CatDut in NumeralDut

This commit is contained in:
john.j.camilleri
2012-05-23 09:40:33 +00:00
parent f4e36b0a40
commit 4a834dcd17

View File

@@ -1,4 +1,4 @@
concrete NumeralDut of Numeral = CatDut ** open ResDut, Prelude in {
concrete NumeralDut of Numeral = CatDut [Numeral,Digits] ** open ResDut, Prelude in {
flags optimize = all_subs ;