| author | wenzelm |
| Wed, 11 Oct 2006 22:55:14 +0200 | |
| changeset 20977 | dbf1eca9b34e |
| parent 20976 | e324808e9f1f |
| child 20978 | 51956522c306 |
--- 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;