From 7ed485100362789132654ee91fc73e70979fc57f Mon Sep 17 00:00:00 2001
From: Enrico Tassi
Date: Wed, 26 Feb 2014 15:15:46 +0100
Subject: CoqIDE: print message of "Fail" command

---
 toplevel/vernacentries.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/toplevel/vernacentries.ml b/toplevel/vernacentries.ml
index cd2338dfe5..cd38510f32 100644
--- a/toplevel/vernacentries.ml
+++ b/toplevel/vernacentries.ml
@@ -1871,7 +1871,7 @@ let interp ?(verbosely=true) ?proof (loc,c) =
 	  | HasNotFailed ->
 	      errorlabstrm "Fail" (str "The command has not failed!")
 	  | HasFailed msg ->
-	      if_verbose msg_info
+	      if is_verbose () || !Flags.ide_slave then msg_info
 		(str "The command has indeed failed with message:" ++
 		 fnl () ++ str "=> " ++ hov 0 (str msg))
           | _ -> assert false
-- 
cgit v1.2.3