From a9e87e0b25cf11192d11da4499c3c3122f11a0c4 Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Thu, 13 Dec 2018 10:56:13 +0100
Subject: [test] for join when error resiliency on and async-proofs off

---
 ide/fake_ide.ml | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

(limited to 'ide')

diff --git a/ide/fake_ide.ml b/ide/fake_ide.ml
index ae88f36b1c..8b0c736f50 100644
--- a/ide/fake_ide.ml
+++ b/ide/fake_ide.ml
@@ -11,7 +11,7 @@
 (** Fake_ide : Simulate a [coqide] talking to a [coqidetop] *)
 
 let error s =
-  prerr_endline ("fake_id: error: "^s);
+  prerr_endline ("fake_ide: error: "^s);
   exit 1
 
 let pperr_endline pp = Format.eprintf "@[%a@]\n%!" Pp.pp_with pp
@@ -22,7 +22,7 @@ type coqtop = {
 }
 
 let print_error msg =
-  Format.eprintf "fake_id: error: @[%a@]\n%!" Pp.pp_with msg
+  Format.eprintf "fake_ide: error: @[%a@]\n%!" Pp.pp_with msg
 
 let base_eval_call ?(print=true) ?(fail=true) call coqtop =
   if print then prerr_endline (Xmlprotocol.pr_call call);
@@ -312,6 +312,8 @@ let main =
         Array.of_list (def_args @ ct), f
     | _ -> usage () in
   let inc = if input_file = "-" then stdin else open_in input_file in
+  prerr_endline ("Running: "^idetop_name^" "^
+                   (String.concat " " (Array.to_list coqtop_args)));
   let coq =
     let _p, cin, cout = Coqide.spawn idetop_name coqtop_args in
     let ip = Xml_parser.make (Xml_parser.SChannel cin) in
-- 
cgit v1.2.3