--- a/src/Pure/General/secure.ML Tue Sep 29 11:48:32 2009 +0200
+++ b/src/Pure/General/secure.ML Tue Sep 29 11:49:22 2009 +0200
@@ -23,7 +23,7 @@
(** secure flag **)
-val secure = ref false;
+val secure = Unsynchronized.ref false;
fun set_secure () = secure := true;
fun is_secure () = ! secure;