diff -r 83003c700845 -r 85ce6e27e130 src/Pure/context_position.ML
--- a/src/Pure/context_position.ML	Wed Dec 16 16:25:55 2020 +0100
+++ b/src/Pure/context_position.ML	Thu Dec 17 09:10:30 2020 +0100
@@ -60,6 +60,7 @@
 fun report_generic context pos markup =
   if is_reported_generic context pos then
     ((** )@{print} {a = "### Context_Position.report_generic"};( *..NOT yet available*)
+     (**) writeln "### Context_Position.report_generic";(**)
       Output.report [Position.reported_text pos markup ""])
   else ();