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

1 files changed, 1 insertions, 1 deletions

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;