| changeset 67704 | 23d46836a5ac |
| parent 64556 | 851ae0e7b09c |
| child 69071 | 3ef82592dc22 |
--- a/src/Pure/Syntax/printer.ML Fri Feb 23 14:32:59 2018 +0100 +++ b/src/Pure/Syntax/printer.ML Fri Feb 23 15:07:30 2018 +0100 @@ -75,7 +75,7 @@ fun type_emphasis ctxt T = T <> dummyT andalso (Config.get ctxt show_types orelse Config.get ctxt show_markup orelse - Config.get ctxt show_type_emphasis andalso not (can dest_Type T)); + Config.get ctxt show_type_emphasis andalso not (is_Type T));