--- 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;