--- a/src/Pure/Concurrent/synchronized.ML Fri Jul 05 14:09:06 2013 +0200
+++ b/src/Pure/Concurrent/synchronized.ML Fri Jul 05 15:38:03 2013 +0200
@@ -69,6 +69,7 @@
(* unique identifiers > 0 *)
+(*NB: ML ticks forwards, JVM ticks backwards*)
fun counter () =
let
val counter = var "counter" (0: int);