--- a/src/Tools/code/code_package.ML Wed May 28 12:06:49 2008 +0200
+++ b/src/Tools/code/code_package.ML Wed May 28 12:24:48 2008 +0200
@@ -99,7 +99,7 @@
val code = Program.get thy;
fun mk_seri_dest file = case file
of NONE => CodeTarget.compile
- | SOME "-" => writeln o CodeTarget.string
+ | SOME "-" => CodeTarget.write
| SOME f => CodeTarget.file (Path.explode f)
val _ = map (fn (((target, module), file), args) =>
(mk_seri_dest file (CodeTarget.serialize thy target permissive module args code cs))) seris;