Commit 6fc9422e authored by Sylvain Dailler's avatar Sylvain Dailler

counterexamples display: fix display of negative integers.

parent fcae6a7a
......@@ -327,7 +327,10 @@ and print_integer fmt (i: string) =
let bn = BigInt.of_string i in
try
let i = BigInt.to_int bn in
fprintf fmt "%d (0x%X)" i i
if i >= 0 then
fprintf fmt "%d (0x%X)" i i
else
fprintf fmt "%d (-0x%X)" i (-i)
with Failure _ (* "int_of_big_int" *) ->
print_big_int fmt bn
......
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