# HG changeset patch
# User wenzelm
# Date 1684489290 -7200
# Node ID b2e449c155a44cf528a6c03f516e906636f6e843
# Parent  15ab739497134da2a3aa069023cfe8166a1e4e5a
more careful reset_context for stored entity;

diff -r 15ab73949713 -r b2e449c155a4 src/Pure/raw_simplifier.ML
--- a/src/Pure/raw_simplifier.ML	Thu May 18 23:50:59 2023 +0200
+++ b/src/Pure/raw_simplifier.ML	Fri May 19 11:41:30 2023 +0200
@@ -722,7 +722,7 @@
   Simproc
    {name = name,
     lhss = map (Morphism.term phi) lhss,
-    proc = Morphism.transform phi proc,
+    proc = Morphism.transform phi proc |> Morphism.entity_reset_context,
     stamp = stamp};
 
 local