src/Pure/display.ML
changeset 37248 8e8e5f9d1441
parent 36328 4d9deabf6474
child 39050 600de0485859
     1.1 --- a/src/Pure/display.ML	Tue Jun 01 17:36:53 2010 +0200
     1.2 +++ b/src/Pure/display.ML	Tue Jun 01 22:19:17 2010 +0200
     1.3 @@ -129,7 +129,7 @@
     1.4  
     1.5      fun prt_cls c = Syntax.pretty_sort ctxt [c];
     1.6      fun prt_sort S = Syntax.pretty_sort ctxt S;
     1.7 -    fun prt_arity t (c, (_, Ss)) = Syntax.pretty_arity ctxt (t, Ss, [c]);
     1.8 +    fun prt_arity t (c, Ss) = Syntax.pretty_arity ctxt (t, Ss, [c]);
     1.9      fun prt_typ ty = Pretty.quote (Syntax.pretty_typ ctxt ty);
    1.10      val prt_typ_no_tvars = prt_typ o Logic.unvarifyT_global;
    1.11      fun prt_term t = Pretty.quote (Syntax.pretty_term ctxt t);