diff -r d453faed4815 -r 700008399ee5 src/Tools/Code/code_scala.ML
--- a/src/Tools/Code/code_scala.ML	Sat Aug 20 22:46:19 2011 +0200
+++ b/src/Tools/Code/code_scala.ML	Sat Aug 20 23:35:30 2011 +0200
@@ -321,7 +321,7 @@
          of Code_Thingol.Classinst _ => true
           | _ => false;
         val implicits = filter (is_classinst o Graph.get_node program)
-          (Graph.imm_succs program name);
+          (Graph.immediate_succs program name);
       in union (op =) implicits end;
     fun modify_stmt (_, Code_Thingol.Fun (_, (_, SOME _))) = NONE
       | modify_stmt (_, Code_Thingol.Datatypecons _) = NONE