src/Pure/Isar/method.ML

--- a/src/Pure/Isar/method.ML	Fri Apr 03 13:51:56 2020 +0200
+++ b/src/Pure/Isar/method.ML	Fri Apr 03 17:35:10 2020 +0200
@@ -659,7 +659,9 @@
     maps (fn p => map (pair p) (Markup.keyword3 :: Completion.suppress_abbrevs ""))
       (keyword_positions text);
 
-val report = Position.reports o reports_of;
+fun report text_range =
+  if Context_Position.pide_reports ()
+  then Position.reports (reports_of text_range) else ();
 
 end;