Commit 40585337 authored by Michael Hanus 's avatar Michael Hanus

Merge branch 'integer-div' into 'master'

Fix integer division for large numbers

See merge request !3
parents 3e3f050d 63c6f03f
......@@ -119,7 +119,7 @@ prim_Int_minus(Y,X,R) :- R is X-Y.
prim_Int_times(Y,X,R) :- R is X*Y.
prim_Int_div(Y,X,R) :- R is integer(floor(X/Y)).
prim_Int_div(Y,X,R) :- R is div(X,Y).
prim_Int_mod(Y,X,R) :- isMod(R,X,Y).
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment