Commit 25d996ae authored by Kai-Oliver Prott's avatar Kai-Oliver Prott

Fix integer division for large numbers

parent 7866649d
......@@ -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