src/Pure/raw_simplifier.ML

--- a/src/Pure/raw_simplifier.ML	Fri May 19 11:42:12 2023 +0200
+++ b/src/Pure/raw_simplifier.ML	Fri May 19 21:22:39 2023 +0200
@@ -722,7 +722,7 @@
   Simproc
    {name = name,
     lhss = map (Morphism.term phi) lhss,
-    proc = Morphism.transform phi proc |> Morphism.entity_reset_context,
+    proc = Morphism.transform_reset_context phi proc,
     stamp = stamp};
 
 local