fix previous commit

66d82e9f · Johannes Kanig · a8118e80 · 66d82e9f
Commit 66d82e9f authored Mar 10, 2016 by Johannes Kanig
Hide whitespace changes
Inline Side-by-side

Showing with 1 addition and 0 deletions

src/driver/call_provers.mli src/driver/call_provers.mli +1 -0

No files found.
--- a/src/driver/call_provers.mli
+++ b/src/driver/call_provers.mli
@@ -159,6 +159,7 @@ val call_on_file :
 val call_on_buffer :
  command         : string ->
  limit           : resource_limit ->
+  res_parser      : prover_result_parser ->
  filename        : string ->
  printer_mapping : Printer.printer_mapping ->
  ?inplace        : bool ->