src/Pure/display.ML
changeset 22878 ca2eb5eb615b
parent 22846 fb79144af9a3
child 23634 55e579ef85aa
     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));