(Ara) Minor fixes

2018-11-07 11:30:00 +01:00
parent ff9a164884
commit 2888073c44
2 changed files with 2 additions and 2 deletions
@@ -90,7 +90,7 @@ lin
    } ;

  DetQuant quant num = quant ** {
-    s = \\h,g,c => quant.s ! Pl ! h ! g ! c
+    s = \\h,g,c => quant.s ! sizeToNumber num.n ! h ! g ! c
      ++ num.s ! g ! (toDef quant.d num.n) ! c ;
    n = num.n;
    isNum = -- Num may come from NumCard : Card -> Num