src/Sequents/simpdata.ML

     eq_assume_tac];
 
 (*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
   |> simpset_of;