Commit 01f3b7cb authored by Sylvain's avatar Sylvain

why3execute: fix condition on log

parent 6cd20c11
......@@ -153,7 +153,7 @@ let log (xmin, xmax) =
set_exponents ();
let prec = get_prec () in
let zero = get_zero () in
if lessequal_p zero xmin then
if less_p zero xmin then
(log ~rnd:Toward_Minus_Infinity ~prec xmin,
log ~rnd:Toward_Plus_Infinity ~prec xmax)
else
......
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