diff -r ffaca9167c16 -r 3cbb22cec751 src/Tools/Code/code_scala.ML
--- a/src/Tools/Code/code_scala.ML	Wed Jul 14 14:53:44 2010 +0200
+++ b/src/Tools/Code/code_scala.ML	Wed Jul 14 14:53:44 2010 +0200
@@ -424,12 +424,13 @@
 
 (** Isar setup **)
 
-fun isar_seri_scala module_name =
+fun isar_serializer module_name =
   Code_Target.parse_args (Scan.succeed ())
   #> (fn () => serialize_scala module_name);
 
 val setup =
-  Code_Target.add_target (target, (isar_seri_scala, literals))
+  Code_Target.add_target
+    (target, { serializer = isar_serializer, literals = literals, check = () })
   #> Code_Target.add_syntax_tyco target "fun"
      (SOME (2, fn print_typ => fn fxy => fn [ty1, ty2] =>
         brackify_infix (1, R) fxy (