| changeset 20977 | dbf1eca9b34e |
| parent 20925 | 2d19e511fe2c |
| child 20992 | 05c3703cc6c5 |
--- 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;