diff -r fc55011cfdfd -r ad3e04f289b6 src/Tools/Code/code_scala.ML
--- a/src/Tools/Code/code_scala.ML	Thu Jun 17 10:57:00 2010 +0200
+++ b/src/Tools/Code/code_scala.ML	Thu Jun 17 11:33:04 2010 +0200
@@ -212,7 +212,7 @@
               :: map print_co cos
             )
           end
-      | print_stmt (name, Code_Thingol.Class (_, (v, ((super_classes, all_super_classes), classparams)))) =
+      | print_stmt (name, Code_Thingol.Class (_, (v, (super_classes, classparams)))) =
           let
             val tyvars = intro_vars [v] reserved;
             val vs = [(v, [name])];