summaryrefslogtreecommitdiff
path: root/lib/std/bigint.myr
diff options
context:
space:
mode:
authorS. Gilles <sgilles@math.umd.edu>2019-10-24 09:33:29 -0400
committerOri Bernstein <ori@eigenstate.org>2019-10-24 08:17:21 -0700
commite9b59bee4efb648e323dfb6269209b59c575806f (patch)
treee53b8761181d2715b6aca5eb15156a26f39c29ec /lib/std/bigint.myr
parent076f4d371d887d25c3ac3851589f161131f57c88 (diff)
downloadmc-e9b59bee4efb648e323dfb6269209b59c575806f.tar.gz
Allow bigdivmod to return remainders between 2^31 and 2^32
Diffstat (limited to 'lib/std/bigint.myr')
-rw-r--r--lib/std/bigint.myr2
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/std/bigint.myr b/lib/std/bigint.myr
index 3f169a8..9213007 100644
--- a/lib/std/bigint.myr
+++ b/lib/std/bigint.myr
@@ -702,7 +702,7 @@ const bigdivmod = {a : bigint#, b : bigint# -> (bigint#, bigint#)
carry = (carry << 32) + aj - (q.dig[j-1] : uint64)*b0
;;
q = trim(q)
- -> (q, trim(mkbigint((carry : int32))))
+ -> (q, trim(mkbigint(carry)))
;;
u = bigdup(a)