1.1 --- a/src/Pure/context_position.ML	Wed Dec 16 16:25:55 2020 +0100
     1.2 +++ b/src/Pure/context_position.ML	Thu Dec 17 09:10:30 2020 +0100
     1.3 @@ -60,6 +60,7 @@
     1.4  fun report_generic context pos markup =
     1.5    if is_reported_generic context pos then
     1.6      ((** )@{print} {a = "### Context_Position.report_generic"};( *..NOT yet available*)
     1.7 +     (**) writeln "### Context_Position.report_generic";(**)
     1.8        Output.report [Position.reported_text pos markup ""])
     1.9    else ();
    1.10