src/HOL/Tools/Nitpick/nitpick.ML
changeset 52697 6fb98a20c349
parent 52644 cea207576f81
child 53378 07990ba8c0ea
     1.1 --- a/src/HOL/Tools/Nitpick/nitpick.ML	Thu Jul 18 13:12:54 2013 +0200
     1.2 +++ b/src/HOL/Tools/Nitpick/nitpick.ML	Thu Jul 18 20:53:22 2013 +0200
     1.3 @@ -466,7 +466,8 @@
     1.4                    pstrs "Hint: To check that the induction hypothesis is \
     1.5                          \general enough, try this command: " @
     1.6                    [Pretty.mark
     1.7 -                    (Active.make_markup Markup.sendbackN {implicit = false, properties = []})
     1.8 +                    (Active.make_markup Markup.sendbackN
     1.9 +                      {implicit = false, properties = [Markup.padding_command]})
    1.10                      (Pretty.blk (0,
    1.11                         pstrs ("nitpick [non_std, show_all]")))] @ pstrs "."))
    1.12              else