src/Pure/Tools/find_consts.ML
changeset 38336 fd53ae1d4c47
parent 38335 630f379f2660
child 42012 2c3fe3cbebae
     1.1 --- a/src/Pure/Tools/find_consts.ML	Wed Aug 11 18:03:02 2010 +0200
     1.2 +++ b/src/Pure/Tools/find_consts.ML	Wed Aug 11 18:10:39 2010 +0200
     1.3 @@ -60,8 +60,7 @@
     1.4      val ty' = Logic.unvarifyT_global ty;
     1.5    in
     1.6      Pretty.block
     1.7 -     [Pretty.quote (Pretty.str nm), Pretty.fbrk,
     1.8 -      Pretty.str "::", Pretty.brk 1,
     1.9 +     [Pretty.str nm, Pretty.str " ::", Pretty.brk 1,
    1.10        Pretty.quote (Syntax.pretty_typ ctxt ty')]
    1.11    end;
    1.12