# HG changeset patch
# User wenzelm
# Date 1281543039 -7200
# Node ID fd53ae1d4c4746a9545f4889dd9755323caa0223
# Parent  630f379f26605d883ce94ab355ddd9a7558e7831
standardized pretty printing of consts (e.g. see find_theorems, print_theory);

diff -r 630f379f2660 -r fd53ae1d4c47 src/Pure/Tools/find_consts.ML
--- a/src/Pure/Tools/find_consts.ML	Wed Aug 11 18:03:02 2010 +0200
+++ b/src/Pure/Tools/find_consts.ML	Wed Aug 11 18:10:39 2010 +0200
@@ -60,8 +60,7 @@
     val ty' = Logic.unvarifyT_global ty;
   in
     Pretty.block
-     [Pretty.quote (Pretty.str nm), Pretty.fbrk,
-      Pretty.str "::", Pretty.brk 1,
+     [Pretty.str nm, Pretty.str " ::", Pretty.brk 1,
       Pretty.quote (Syntax.pretty_typ ctxt ty')]
   end;