1.1 --- a/src/Tools/Code/code_haskell.ML	Wed Jul 14 17:16:02 2010 +0200
     1.2 +++ b/src/Tools/Code/code_haskell.ML	Wed Jul 14 17:27:54 2010 +0200
     1.3 @@ -446,7 +446,7 @@
     1.4            val (ps, vars') = fold_map (print_monad (gen_print_bind (K print_term) thm) print_term)
     1.5              (bind :: binds) vars;
     1.6          in
     1.7 -          (brackify fxy o single o enclose "do {" "}" o Pretty.breaks)
     1.8 +          (brackify fxy o single o enclose "do { " " }" o Pretty.breaks)
     1.9              (ps @| print_term vars' NOBR t'')
    1.10          end
    1.11        | NONE => brackify_infix (1, L) fxy