diff -r 8f0b2daa7eaa -r d93ead9ac6df src/Sequents/simpdata.ML
--- a/src/Sequents/simpdata.ML	Thu Jun 12 08:03:05 2025 +0200
+++ b/src/Sequents/simpdata.ML	Thu Jun 12 12:44:47 2025 +0200
@@ -68,8 +68,8 @@
 (*No simprules, but basic infrastructure for simplification*)
 val LK_basic_ss =
   empty_simpset \<^context>
-  setSSolver (mk_solver "safe" safe_solver)
-  setSolver (mk_solver "unsafe" unsafe_solver)
+  |> Simplifier.set_safe_solver (mk_solver "safe" safe_solver)
+  |> Simplifier.set_unsafe_solver (mk_solver "unsafe" unsafe_solver)
   |> Simplifier.set_subgoaler asm_simp_tac
   |> Simplifier.set_mksimps (fn ctxt => map (mk_meta_eq ctxt) o atomize o Variable.gen_all ctxt)
   |> Simplifier.set_mkcong mk_meta_cong