src/Pure/Tools/rail.ML

--- a/src/Pure/Tools/rail.ML	Fri Apr 03 13:51:56 2020 +0200
+++ b/src/Pure/Tools/rail.ML	Fri Apr 03 17:35:10 2020 +0200
@@ -191,7 +191,7 @@
   ANTIQUOTE of (bool * Antiquote.antiq) * Position.range;
 
 fun reports_of_tree ctxt =
-  if Context_Position.is_visible ctxt then
+  if Context_Position.reports_enabled ctxt then
     let
       fun reports r =
         if r = Position.no_range then []