src/Pure/Tools/find_consts.ML

 
     val matches =
       fold (fn c => (case eval_entry c of NONE => I | SOME rank => cons (rank, c))) constants []
       |> sort (prod_ord (rev_order o int_ord) (string_ord o pairself fst))
       |> map (apsnd fst o snd);
+
+    val position_markup = Position.markup (Position.thread_data ()) Markup.position;
   in
     Pretty.block
-      (Pretty.fbreaks (Pretty.keyword1 "find_consts" :: map pretty_criterion raw_criteria)) ::
+      (Pretty.fbreaks
+        (Pretty.mark position_markup (Pretty.keyword1 "find_consts") ::
+          map pretty_criterion raw_criteria)) ::
     Pretty.str "" ::
     (if null matches then [Pretty.str "found nothing"]
      else
        Pretty.str ("found " ^ string_of_int (length matches) ^ " constant(s):") ::
        grouped 10 Par_List.map (Pretty.item o single o pretty_const ctxt) matches)