# HG changeset patch
# User wenzelm
# Date 1672240477 -3600
# Node ID 5a28de3388cd21af3191da3abacd35d07a8b8984
# Parent  3e8340fcaa161b4882fd1be8fc9b2b007c1e0a8e
omit pointless guard: ultimately observed by Isabelle_Process.report_message;

diff -r 3e8340fcaa16 -r 5a28de3388cd src/Pure/PIDE/resources.ML
--- a/src/Pure/PIDE/resources.ML	Wed Dec 28 16:13:08 2022 +0100
+++ b/src/Pure/PIDE/resources.ML	Wed Dec 28 16:14:37 2022 +0100
@@ -332,9 +332,7 @@
 
 fun read_file_node file_node master_dir pos delimited src_path =
   let
-    val _ =
-      if Context_Position.reports_enabled0 ()
-      then Position.report pos (Markup.language_path delimited) else ();
+    val _ = Position.report pos (Markup.language_path delimited);
 
     fun read_local () =
       let