diff -r c9a9359e0285 -r 598addf65209 src/Tools/Code/code_scala.ML
--- a/src/Tools/Code/code_scala.ML	Wed Jul 03 23:42:07 2013 +0200
+++ b/src/Tools/Code/code_scala.ML	Thu Jul 04 08:52:44 2013 +0200
@@ -260,7 +260,7 @@
           let
             val tyvars = intro_tyvars vs reserved;
             val classtyp = (class, tyco `%% map (ITyVar o fst) vs);
-            fun print_classparam_instance ((classparam, const as { dom, ... }), (thm, _)) =
+            fun print_classparam_instance ((classparam, (const as { dom, ... }, _)), (thm, _)) =
               let
                 val aux_dom = Name.invent_names (snd reserved) "a" dom;
                 val auxs = map fst aux_dom;