--- a/src/Pure/Concurrent/synchronized_sequential.ML Sat Feb 06 22:01:48 2010 +0100
+++ b/src/Pure/Concurrent/synchronized_sequential.ML Sat Feb 06 22:05:02 2010 +0100
@@ -20,13 +20,8 @@
fun guarded_access var f = the (timed_access var (K NONE) f);
-fun readonly_access var f =
- guarded_access var (fn x => (case f x of NONE => NONE | SOME y => SOME (y, x)));
-
fun change_result var f = guarded_access var (SOME o f);
fun change var f = change_result var (fn x => ((), f x));
-val assign = change;
-
end;
end;