Commit e78cc565 authored by Sylvain Dailler's avatar Sylvain Dailler
Browse files

Make gen_new_file argument optional for retrocompatibility.

parent 913f84de
......@@ -454,7 +454,7 @@ let rec wait_on_call = function
editor_result ret
let call_on_buffer ~command ~limit ~res_parser ~filename ~printer_mapping
~gen_new_file ?(inplace=false) buffer =
?(gen_new_file=false) ?(inplace=false) buffer =
let fin,cin =
if gen_new_file then
Filename.open_temp_file "why_" ("_" ^ filename)
......
......@@ -149,7 +149,7 @@ val call_on_buffer :
res_parser : prover_result_parser ->
filename : string ->
printer_mapping : Printer.printer_mapping ->
gen_new_file : bool ->
?gen_new_file : bool ->
?inplace : bool ->
Buffer.t -> prover_call
(** Call a prover on the task printed in the {!type: Buffer.t} given.
......
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