src/Pure/Tools/find_theorems.ML
changeset 56912 293cd4dcfebc
parent 56908 734f7e6151c9
child 56914 f371418b9641
--- 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