From 5b5d15f0776a5b79cd3e5f7d1be1035d6439853d Mon Sep 17 00:00:00 2001
From: gregoire
Date: Fri, 12 Nov 2004 17:34:07 +0000
Subject: *** empty log message ***

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

diff --git a/toplevel/vernacentries.ml b/toplevel/vernacentries.ml
index e5a0681d8f..3185d1f0cb 100644
--- a/toplevel/vernacentries.ml
+++ b/toplevel/vernacentries.ml
@@ -779,7 +779,7 @@ let _ =
     { optsync  = true;
       optname  = "use of boxed values";
       optkey   = (SecondaryTable ("Boxed","Values"));
-      optread  = Vm.transp_values;
+      optread  = (fun _ -> not (Vm.transp_values ()));
       optwrite = (fun b -> Vm.set_transp_values (not b)) } 
 
 let _ =
-- 
cgit v1.2.3