1.1 --- a/src/Tools/Code/code_haskell.ML	Wed Jul 14 17:15:58 2010 +0200
     1.2 +++ b/src/Tools/Code/code_haskell.ML	Wed Jul 14 17:16:02 2010 +0200
     1.3 @@ -439,7 +439,7 @@
     1.4            |>> (fn p => semicolon [p, str "<-", print_term vars NOBR t])
     1.5        | print_monad print_bind print_term (SOME ((bind, _), false), t) vars = vars
     1.6            |> print_bind NOBR bind
     1.7 -          |>> (fn p => semicolon [str "let", p, str "=", print_term vars NOBR t]);
     1.8 +          |>> (fn p => semicolon [str "let", str "{", p, str "=", print_term vars NOBR t, str "}"]);
     1.9      fun pretty _ [c_bind'] print_term thm vars fxy [(t1, _), (t2, _)] = case dest_bind t1 t2
    1.10       of SOME (bind, t') => let
    1.11            val (binds, t'') = implode_monad c_bind' t'