tuned;
authorwenzelm
Tue May 08 21:02:26 2007 +0200 (2007-05-08)
changeset 22878ca2eb5eb615b
parent 22877 d53b72246e67
child 22879 1ec078cca386
tuned;
src/Pure/display.ML
     1.1 --- a/src/Pure/display.ML	Tue May 08 19:15:35 2007 +0200
     1.2 +++ b/src/Pure/display.ML	Tue May 08 21:02:26 2007 +0200
     1.3 @@ -80,7 +80,7 @@
     1.4      val tags = Thm.get_tags th;
     1.5  
     1.6      val q = if quote then Pretty.quote else I;
     1.7 -    val prt_term = q o (Pretty.term pp);
     1.8 +    val prt_term = q o Pretty.term pp;
     1.9  
    1.10      val hyps' = if ! show_hyps then hyps else subtract (op aconv) asms hyps;
    1.11      val ora' = ora andalso (! show_hyps orelse not (! quick_and_dirty));