diff -r c79c1e4e1111 -r d1d4d808be26 src/Tools/Code/code_haskell.ML
--- a/src/Tools/Code/code_haskell.ML	Mon Aug 30 16:17:10 2010 +0200
+++ b/src/Tools/Code/code_haskell.ML	Mon Aug 30 16:21:47 2010 +0200
@@ -316,7 +316,7 @@
 fun serialize_haskell module_prefix module_name string_classes labelled_name
     raw_reserved includes module_alias
     syntax_class syntax_tyco syntax_const program
-    (stmt_names, presentation_stmt_names) width =
+    (stmt_names, presentation_stmt_names) =
   let
     val reserved = fold (insert (op =) o fst) includes raw_reserved;
     val (deresolver, hs_program) = haskell_program_of_program labelled_name
@@ -396,7 +396,6 @@
       (fn width => (rpair [] o cat_lines o map (string_of_pretty width o snd)))
       (map (uncurry print_module) includes
         @ map serialize_module (Symtab.dest hs_program))
-      width
   end;
 
 val literals = let