--- a/src/Tools/Code/code_runtime.ML	Wed May 21 10:30:33 2025 +0200
+++ b/src/Tools/Code/code_runtime.ML	Wed May 21 10:30:34 2025 +0200
@@ -362,7 +362,7 @@
 fun preprocess_conv { ctxt } = 
   let
     val rules = get ctxt;
-  in fn ctxt' => Raw_Simplifier.rewrite_wrt ctxt' false rules end;
+  in fn ctxt' => Simplifier.rewrite_wrt ctxt' false rules end;
 
 fun preprocess_term { ctxt } =
   let