diff -r e478f85fe427 -r f1c14af17591 src/Tools/Code/code_runtime.ML --- 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