src/Pure/General/secure.ML

 Secure critical operations.
 *)
 
 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
   val use_text: (string -> unit) * (string -> 'a) -> bool -> string -> unit
   val commit: unit -> unit

 
 (* secure flag *)
 
 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;