1
0
forked from GitHub/gf-rgl

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 fcb56abd30
commit b64f0af7bf

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 ;