src/Pure/System/invoke_scala.ML

--- a/src/Pure/System/invoke_scala.ML	Fri Jul 05 22:58:24 2013 +0200
+++ b/src/Pure/System/invoke_scala.ML	Fri Jul 05 23:10:18 2013 +0200
@@ -19,7 +19,7 @@
 
 (* pending promises *)
 
-val new_id = string_of_int o Synchronized.counter ();
+val new_id = string_of_int o Counter.make ();
 
 val promises =
   Synchronized.var "Invoke_Scala.promises" (Symtab.empty: string future Symtab.table);