omit pointless guard: ultimately observed by Isabelle_Process.report_message;

--- 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