src/HOL/Product_Type.thy
changeset 32952 aeb1e44fbc19
parent 32010 cb1a1c94b4cd
child 33089 4e33c819fced
     1.1 --- a/src/HOL/Product_Type.thy	Thu Oct 15 23:10:35 2009 +0200
     1.2 +++ b/src/HOL/Product_Type.thy	Thu Oct 15 23:28:10 2009 +0200
     1.3 @@ -1017,7 +1017,7 @@
     1.4                (Codegen.invoke_codegen thy defs dep thyname true) ts gr2
     1.5            in
     1.6              SOME (Codegen.mk_app brack
     1.7 -              (Pretty.blk (0, [Codegen.str "let ", Pretty.blk (0, List.concat
     1.8 +              (Pretty.blk (0, [Codegen.str "let ", Pretty.blk (0, flat
     1.9                    (separate [Codegen.str ";", Pretty.brk 1] (map (fn (pl, pr) =>
    1.10                      [Pretty.block [Codegen.str "val ", pl, Codegen.str " =",
    1.11                         Pretty.brk 1, pr]]) qs))),