Try again

runtimeverification · Oct 17, 2024 · 571dbda · 571dbda
1 parent fd57077
commit 571dbda
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/booster/library/Booster/Pattern/ApplyEquations.hs b/booster/library/Booster/Pattern/ApplyEquations.hs
@@ -67,6 +67,7 @@ import Booster.Pattern.Index qualified as Idx
 import Booster.Pattern.Match
 import Booster.Pattern.Pretty
 import Booster.Pattern.Substitution
+import Booster.Pattern.Substitution qualified as Substitution
 import Booster.Pattern.Util
 import Booster.Prettyprinter (renderOneLineText)
 import Booster.SMT.Interface qualified as SMT
@@ -494,7 +495,7 @@ evaluatePattern' pat@Pattern{term, ceilConditions, substitution} = withPatternCo
             { constraints = Set.fromList simplifiedConstraints
             , term = newTerm
             , ceilConditions
-            , substitution = simplifiedSubsitution
+            , substitution = simplifiedSubsitution `Substitution.compose` substitution
             }
   where
     -- when TooManyIterations exception occurred while evaluating the top-level term,