--- a/src/Pure/System/session.ML Tue Sep 29 11:48:32 2009 +0200
+++ b/src/Pure/System/session.ML Tue Sep 29 11:49:22 2009 +0200
@@ -21,10 +21,10 @@
(* session state *)
-val session = ref ([Context.PureN]: string list);
-val session_path = ref ([]: string list);
-val session_finished = ref false;
-val remote_path = ref (NONE: Url.T option);
+val session = Unsynchronized.ref ([Context.PureN]: string list);
+val session_path = Unsynchronized.ref ([]: string list);
+val session_finished = Unsynchronized.ref false;
+val remote_path = Unsynchronized.ref (NONE: Url.T option);
(* access path *)