From 571dbda10d9b90bc3fcbcc8d87f1802372c959ae Mon Sep 17 00:00:00 2001
From: Georgy Lukyanov <mail@geo2a.info>
Date: Thu, 17 Oct 2024 19:22:49 +0200
Subject: [PATCH] Try again

---
 booster/library/Booster/Pattern/ApplyEquations.hs | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/booster/library/Booster/Pattern/ApplyEquations.hs b/booster/library/Booster/Pattern/ApplyEquations.hs
index 5942681de2..837f5ac2a1 100644
--- 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,