1.1 --- a/src/Tools/Code/code_haskell.ML	Fri Jul 27 21:57:56 2012 +0200
     1.2 +++ b/src/Tools/Code/code_haskell.ML	Fri Jul 27 22:26:38 2012 +0200
     1.3 @@ -395,7 +395,7 @@
     1.4      Code_Target.serialization
     1.5        (fn width => fn destination => K () o map (write_module width destination))
     1.6        (fn present => fn width => rpair (try (deresolver ""))
     1.7 -        o format present width o Pretty.chunks o map snd)
     1.8 +        o (map o apsnd) (format present width))
     1.9        (map (uncurry print_module_frame o apsnd single) includes
    1.10          @ map (fn module_name => print_module module_name (Graph.get_node haskell_program module_name))
    1.11            ((flat o rev o Graph.strong_conn) haskell_program))