--- a/src/Pure/Tools/find_theorems.ML Thu May 08 15:30:28 2014 +0200
+++ b/src/Pure/Tools/find_theorems.ML Thu May 08 16:15:20 2014 +0200
@@ -482,9 +482,12 @@
(if returned < found
then " (" ^ string_of_int returned ^ " displayed)"
else ""));
+ val position_markup = Position.markup (Position.thread_data ()) Markup.position;
in
Pretty.block
- (Pretty.fbreaks (Pretty.keyword1 "find_theorems" :: map (pretty_criterion ctxt) criteria)) ::
+ (Pretty.fbreaks
+ (Pretty.mark position_markup (Pretty.keyword1 "find_theorems") ::
+ map (pretty_criterion ctxt) criteria)) ::
Pretty.str "" ::
(if null theorems then [Pretty.str "found nothing"]
else