--- a/src/HOL/Tools/simpdata.ML	Thu Jun 12 08:03:05 2025 +0200
+++ b/src/HOL/Tools/simpdata.ML	Thu Jun 12 12:44:47 2025 +0200
@@ -186,8 +186,8 @@
 
 val HOL_basic_ss =
   empty_simpset \<^context>
-  setSSolver safe_solver
-  setSolver unsafe_solver
+  |> Simplifier.set_safe_solver safe_solver
+  |> Simplifier.set_unsafe_solver unsafe_solver
   |> Simplifier.set_subgoaler asm_simp_tac
   |> Simplifier.set_mksimps (mksimps mksimps_pairs)
   |> Simplifier.set_mkeqTrue mk_eq_True