changeset 59195 | f8588372d70e |
parent 59160 | faaedc8222c8 |
--- a/src/Pure/Concurrent/synchronized_sequential.ML Sun Dec 28 22:03:11 2014 +0100 +++ b/src/Pure/Concurrent/synchronized_sequential.ML Sun Dec 28 22:10:09 2014 +0100 @@ -11,7 +11,6 @@ with fun var _ x = Var (Unsynchronized.ref x); -fun peek (Var var) = ! var; fun value (Var var) = ! var; fun timed_access (Var var) _ f =