1
0
forked from GitHub/gf-rgl

make it possible to add more cardinals

This commit is contained in:
Krasimir Angelov
2018-07-06 19:03:31 +02:00
parent 41c9cc80a6
commit 326d9edb22
9 changed files with 40 additions and 33 deletions

View File

@@ -47,7 +47,7 @@ concrete QuestionEng of Question = CatEng ** open ResEng, Prelude in {
} ;
IdetQuant idet num = {
s = idet.s ! num.n ++ num.s ! Nom ;
s = idet.s ! num.n ++ num.s ! False ! Nom ;
n = num.n
} ;