src/FOL/simpdata.ML

--- a/src/FOL/simpdata.ML	Wed May 21 10:30:33 2025 +0200
+++ b/src/FOL/simpdata.ML	Wed May 21 10:30:34 2025 +0200
@@ -82,7 +82,7 @@
   val ex_comm = @{thm ex_comm}
   val atomize =
     let val rules = @{thms atomize_all atomize_imp atomize_eq atomize_iff atomize_conj}
-    in fn ctxt => Raw_Simplifier.rewrite_wrt ctxt true rules end
+    in fn ctxt => Simplifier.rewrite_wrt ctxt true rules end
 );