inplace comments.

src/driver/call_provers.mli

@@ -139,6 +139,9 @@ val call_on_file :
   printer_mapping : Printer.printer_mapping ->
   ?inplace        : bool ->
   string -> prover_call
+(* inplace=true is used to make a save of the file on which the prover was
+   called. It is renamed as %f.save if the command [actualcommand] fails *)
+
 
 val call_on_buffer :
   command         : string ->
@@ -156,7 +159,11 @@ val call_on_buffer :
     @param res_parser : prover result parser
 
     @param filename : the suffix of the proof task's file, if the prover
-    doesn't accept stdin. *)
+    doesn't accept stdin.
+
+    @param inplace : it is used to make a save of the file on which the
+    prover was called. It is renamed as %f.save if inplace=true and the command
+    [actualcommand] fails *)
 
 type prover_update =
   | NoUpdates