changeset 37748 | 0af0d45257be |
parent 37745 | 6315b6426200 |
child 37819 | 000049335247 |
--- a/src/Tools/Code/code_scala.ML Thu Jul 08 16:28:18 2010 +0200 +++ b/src/Tools/Code/code_scala.ML Thu Jul 08 16:41:57 2010 +0200 @@ -382,7 +382,7 @@ val _ = File.mkdir_leaf (Path.dir pathname); in File.write pathname (code_of_pretty content) end in - Code_Target.mk_serialization target NONE + Code_Target.mk_serialization target (fn NONE => K () o map (code_writeln o snd) | SOME file => K () o map (write_module (check_destination file))) (rpair [] o cat_lines o map (code_of_pretty o snd))