--- a/src/Pure/ML/ml_compiler.ML Wed May 27 16:43:34 2020 +0200
+++ b/src/Pure/ML/ml_compiler.ML Wed May 27 20:02:02 2020 +0200
@@ -76,10 +76,7 @@
val def_pos = Exn_Properties.position_of_polyml_location decl;
in
(is_reported pos andalso pos <> def_pos) ?
- let
- fun markup () =
- (Markup.entityN, (Markup.kindN, kind) :: Position.def_properties_of def_pos);
- in cons (pos, markup, fn () => "") end
+ cons (pos, fn () => Position.entity_markup kind ("", def_pos), fn () => "")
end;
fun reported_entity_id def id loc =