From 39cd2e369cc4871bf650e4f4f4a667c0e6b4d2d0 Mon Sep 17 00:00:00 2001
From: herbelin
Date: Wed, 9 Apr 2003 14:42:28 +0000
Subject: Gestion synchronisation des Impargs.*_out et des Impargs._strict dans
 Impargs

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3888 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 afd017bed3..a32f6b8a1e 100644
--- a/toplevel/vernacentries.ml
+++ b/toplevel/vernacentries.ml
@@ -741,7 +741,7 @@ let _ =
 
 let _ =
   declare_bool_option 
-    { optsync  = true;
+    { optsync  = false; (* synchronisation is in Impargs *)
       optname  = "strict implicits";
       optkey   = (SecondaryTable ("Strict","Implicits"));
       optread  = Impargs.is_strict_implicit_args;
-- 
cgit v1.2.3