1.1 --- a/src/Tools/Code/code_scala.ML	Thu Aug 26 12:20:34 2010 +0200
     1.2 +++ b/src/Tools/Code/code_scala.ML	Thu Aug 26 12:30:43 2010 +0200
     1.3 @@ -441,7 +441,7 @@
     1.4      (* print nodes *)
     1.5      fun print_implicits [] = NONE
     1.6        | print_implicits implicits = (SOME o Pretty.block)
     1.7 -          (str "import /*implicits*/" :: Pretty.brk 1 :: Pretty.commas (map (str o deresolve) implicits));
     1.8 +          (str "import /*implicits*/" :: Pretty.brk 1 :: commas (map (str o deresolve) implicits));
     1.9      fun print_module base implicits p = Pretty.chunks2
    1.10        ([str ("object " ^ base ^ " {")] @ the_list (print_implicits implicits)
    1.11          @ [p, str ("} /* object " ^ base ^ " */")]);