src/Tools/solve_direct.ML

           state |>
             (if mode = Auto_Try then
                Proof.goal_message
                  (fn () =>
                    Pretty.chunks
-                    [Pretty.str "", Pretty.markup Isabelle_Markup.intensify (message results)])
+                    [Pretty.str "", Pretty.markup Markup.intensify (message results)])
              else
                tap (fn _ =>
                  Output.urgent_message (Pretty.string_of (Pretty.chunks (message results))))))
     | SOME NONE =>
         (if mode = Normal then Output.urgent_message "No proof found."