src/HOL/Tools/Nitpick/nitpick.ML

     val state_ref = Unsynchronized.ref state
     fun pprint print =
       if mode = Auto_Try then
         Unsynchronized.change state_ref o Proof.goal_message o K
         o Pretty.chunks o cons (Pretty.str "") o single
-        o Pretty.mark Isabelle_Markup.intensify
+        o Pretty.mark Markup.intensify
       else
         print o Pretty.string_of
     val pprint_a = pprint Output.urgent_message
     fun pprint_nt f = () |> is_mode_nt mode ? pprint Output.urgent_message o f
     fun pprint_v f = () |> verbose ? pprint Output.urgent_message o f