Mercurial Mercurial > repos > isabelle / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
src/Tools/Code/code_haskell.ML
changeset 38911 caba168a3039
parent 38910 6af1d8673cbf
child 38912 c79c1e4e1111 
--- a/src/Tools/Code/code_haskell.ML	Mon Aug 30 16:00:41 2010 +0200
+++ b/src/Tools/Code/code_haskell.ML	Mon Aug 30 16:11:09 2010 +0200
@@ -391,7 +391,7 @@
       end
   in
     Code_Target.mk_serialization
-      (fn width => (fn NONE => K () o map (code_writeln o (fn p => Pretty.block [p, Pretty.fbrk]) o snd)
+      (fn width => (fn NONE => K () o map (code_writeln o snd)
         | SOME file => K () o map (write_module (check_destination file))))
       (fn width => (rpair [] o cat_lines o map (code_of_pretty o snd)))
       (map (uncurry print_module) includes
isabelle