Commit 26f428df authored by David Hauzar's avatar David Hauzar
Browse files

Bugfix: missing parameter cntexample when calling Driver.print_task.

parent 8f22b7b7
......@@ -1279,7 +1279,7 @@ let why3tac ?(timelimit=timelimit) s gl =
let cp, drv = get_prover s in
let command = String.concat " " (cp.command :: cp.extra_options) in
if debug then Format.printf "@[%a@]@\n---@." Pretty.print_task !task;
if debug then Format.printf "@[%a@]@\n---@." (Driver.print_task drv) !task;
if debug then Format.printf "@[%a@]@\n---@." (Driver.print_task ~cntexample:false drv) !task;
let call = Driver.prove_task ~command ~timelimit drv !task () in
let res = wait_on_call call () in
match res.pr_answer with
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