Commit fdc992a8 authored by Guillaume Melquiond's avatar Guillaume Melquiond
Browse files

Remove extraneous parenthesis when outputting steps.

parent 62ff8e5b
......@@ -171,7 +171,7 @@ let print_prover_status fmt = function
| Unix.WEXITED n -> fprintf fmt "exited with status %d" n
let print_steps fmt s =
if s >= 0 then fprintf fmt ", %d steps)" s
if s >= 0 then fprintf fmt ", %d steps" s
let print_prover_result fmt
{pr_answer=ans; pr_status=status; pr_output=out; pr_time=t; pr_steps=s; pr_model=m} =
Supports Markdown
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