From e527cb25226d2c9037da66ec8a1832ce22c23634 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Thu, 8 Feb 2001 14:38:15 +0000
Subject: Suppression warning no .coqrc

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1356 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 toplevel/coqinit.ml | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/toplevel/coqinit.ml b/toplevel/coqinit.ml
index da86562f09..3cc0bd5f40 100644
--- a/toplevel/coqinit.ml
+++ b/toplevel/coqinit.ml
@@ -30,10 +30,12 @@ let load_rcfile() =
         Vernac.load_vernac false (!rcfile^"."^Coq_config.version)
       else if file_readable_p !rcfile then
         Vernac.load_vernac false !rcfile
-      else 
+      else ()
+(*
 	if Options.is_verbose() then 
 	  mSGNL [< 'sTR ("No .coqrc or .coqrc."^Coq_config.version^
 			 " found. Skipping rcfile loading.") >]
+*)
     with e ->
       (mSGNL [< 'sTR"Load of rcfile failed." >];
        raise e)
-- 
cgit v1.2.3