src/Pure/ML/ml_compiler.ML

--- a/src/Pure/ML/ml_compiler.ML	Wed Dec 28 16:02:12 2022 +0100
+++ b/src/Pure/ML/ml_compiler.ML	Wed Dec 28 16:13:08 2022 +0100
@@ -53,7 +53,7 @@
     val reports_enabled =
       (case Context.get_generic_context () of
         SOME context => Context_Position.reports_enabled_generic context
-      | NONE => Context_Position.pide_reports ());
+      | NONE => Context_Position.reports_enabled0 ());
     fun is_reported pos = reports_enabled andalso Position.is_reported pos;