diff -r 3a699743bcba -r 0af0d45257be src/Tools/Code/code_haskell.ML
--- a/src/Tools/Code/code_haskell.ML	Thu Jul 08 16:28:18 2010 +0200
+++ b/src/Tools/Code/code_haskell.ML	Thu Jul 08 16:41:57 2010 +0200
@@ -390,7 +390,7 @@
           ^ 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))