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