From bc40ebf338191699793500f73178707f35946faa Mon Sep 17 00:00:00 2001
From: pboutill
Date: Wed, 29 Feb 2012 13:32:48 +0000
Subject: Bug 2703: send stdout dump to coqide when an error occurs.

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@14998 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 toplevel/ide_slave.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/toplevel/ide_slave.ml b/toplevel/ide_slave.ml
index 84aa98ea80..1584411906 100644
--- a/toplevel/ide_slave.ml
+++ b/toplevel/ide_slave.ml
@@ -497,7 +497,7 @@ let set_options options =
 let eval_call c =
   let rec handle_exn e =
     catch_break := false;
-    let pr_exn e = string_of_ppcmds (Errors.print e) in
+    let pr_exn e = (read_stdout ())^("\n"^(string_of_ppcmds (Errors.print e))) in
     match e with
       | Vernacexpr.Drop -> None, "Drop is not allowed by coqide!"
       | Vernacexpr.Quit -> None, "Quit is not allowed by coqide!"
-- 
cgit v1.2.3