From afe0053676782fa7c990af622e95924d6ce5aaf7 Mon Sep 17 00:00:00 2001
From: letouzey <letouzey@85f007b7-540e-0410-9357-904b9bb8a0f7>
Date: Thu, 8 Nov 2001 12:32:55 +0000
Subject: Choucroute entre les tables de synchronisation, les options -silent
 et les etats initiaux de coq. Pour l'instant je remets Silent en asynchrone.

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

(limited to 'toplevel')

diff --git a/toplevel/vernacentries.ml b/toplevel/vernacentries.ml
index 8ccdd3976..6fd7f8858 100644
--- a/toplevel/vernacentries.ml
+++ b/toplevel/vernacentries.ml
@@ -779,7 +779,7 @@ let _ =
        | _ -> bad_vernac_args "PrintSec")
 
 let _ = declare_bool_option 
-	  {optsync  = true;
+	  {optsync  = false;
 	   optname  = "silent";
 	   optkey   = (PrimaryTable "Silent");
 	   optread  = is_silent;
-- 
cgit v1.2.3