changeset 55763 | 4b3907cb5654 |
parent 55305 | 70e7ac6af16f |
child 55954 | a29aefc88c8d |
--- a/src/Tools/subtyping.ML Wed Feb 26 10:45:06 2014 +0100 +++ b/src/Tools/subtyping.ML Wed Feb 26 10:53:19 2014 +0100 @@ -1070,7 +1070,7 @@ Pretty.str "<:", Pretty.brk 1, Syntax.pretty_typ ctxt (Type (b, Us)), Pretty.brk 3, Pretty.block - [Pretty.keyword "using", Pretty.brk 1, + [Pretty.keyword2 "using", Pretty.brk 1, Pretty.quote (Syntax.pretty_term ctxt t)]]]; val type_space = Proof_Context.type_space ctxt;