From bc9cab4bad50a8c0f3ef4a25ca9047f903e82ab5 Mon Sep 17 00:00:00 2001
From: mohring
Date: Mon, 12 Feb 2001 08:28:36 +0000
Subject: Theoreme opaques

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1369 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 1ac4ffcb9e..ff29135ba7 100644
--- a/toplevel/vernacentries.ml
+++ b/toplevel/vernacentries.ml
@@ -560,7 +560,7 @@ let _ =
   add "SaveNamed"
     (function 
        | [] -> 
-	   (fun () -> if not(is_silent()) then show_script(); save_named false)
+	   (fun () -> if not(is_silent()) then show_script(); save_named true)
        | _ -> bad_vernac_args "SaveNamed")
 
 let _ =
-- 
cgit v1.2.3