src/Pure/display.ML
changeset 42383 0ae4ad40d7b5
parent 42359 6ca5407863ed
child 42384 6b8e28b52ae3
     1.1 --- a/src/Pure/display.ML	Sun Apr 17 23:47:05 2011 +0200
     1.2 +++ b/src/Pure/display.ML	Mon Apr 18 11:13:29 2011 +0200
     1.3 @@ -143,7 +143,7 @@
     1.4      fun prt_term t = Pretty.quote (Syntax.pretty_term ctxt t);
     1.5      val prt_term_no_vars = prt_term o Logic.unvarify_global;
     1.6      fun prt_const (c, ty) = [Pretty.str c, Pretty.str " ::", Pretty.brk 1, prt_typ_no_tvars ty];
     1.7 -    val prt_const' = Defs.pretty_const (Syntax.pp ctxt);
     1.8 +    val prt_const' = Defs.pretty_const (Context.pretty ctxt);
     1.9  
    1.10      fun pretty_classrel (c, []) = prt_cls c
    1.11        | pretty_classrel (c, cs) = Pretty.block