From acc841a5c88c7a6c5876301c96dffe2f8114d131 Mon Sep 17 00:00:00 2001
From: pboutill
Date: Fri, 7 Jan 2011 14:26:14 +0000
Subject: Call coqtop with -nois when probing for files

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

diff --git a/ide/coq.ml b/ide/coq.ml
index 5c7d8cce80..285133d480 100644
--- a/ide/coq.ml
+++ b/ide/coq.ml
@@ -97,7 +97,7 @@ let coqtop_path () =
 
 let filter_coq_opts args =
   let argstr = String.concat " " (List.map Filename.quote args) in
-  let oc,ic,ec = Unix.open_process_full (coqtop_path () ^" -filteropts "^argstr) (Unix.environment ()) in
+  let oc,ic,ec = Unix.open_process_full (coqtop_path () ^" -nois -filteropts "^argstr) (Unix.environment ()) in
   let filtered_args = read_all_lines oc in
   let message = read_all_lines ec in
   match Unix.close_process_full (oc,ic,ec) with
-- 
cgit v1.2.3