# HG changeset patch
# User wenzelm
# Date 1160600114 -7200
# Node ID dbf1eca9b34eded33634106c58463abe3ddb6059
# Parent  e324808e9f1f92226d2b581ef8d0a5a9092e43c6
tuned signature;

diff -r e324808e9f1f -r dbf1eca9b34e src/Pure/General/secure.ML
--- a/src/Pure/General/secure.ML	Wed Oct 11 20:35:54 2006 +0200
+++ b/src/Pure/General/secure.ML	Wed Oct 11 22:55:14 2006 +0200
@@ -7,7 +7,7 @@
 
 signature SECURE =
 sig
-  val set_secure: unit -> bool
+  val set_secure: unit -> unit
   val is_secure: unit -> bool
   val deny_secure: string -> unit
   val use: string -> unit
@@ -22,7 +22,7 @@
 
 val secure = ref false;
 
-fun set_secure () = set secure;
+fun set_secure () = secure := true;
 fun is_secure () = ! secure;
 
 fun deny_secure msg = deny (is_secure ()) msg;