diff --git a/src/singeli/src/base.singeli b/src/singeli/src/base.singeli index 745b879b..3aec6583 100644 --- a/src/singeli/src/base.singeli +++ b/src/singeli/src/base.singeli @@ -290,7 +290,7 @@ def fold_addw{E, x:V=[_]E} = vfold{+, x} def fold_addw{x:[k]E if k <= (1<