Do not override with old substitution when externalising

runtimeverification · Oct 22, 2024 · 38187b1 · 38187b1
1 parent fdf62fc
commit 38187b1
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/booster/library/Booster/Syntax/Json/Externalise.hs b/booster/library/Booster/Syntax/Json/Externalise.hs
@@ -36,7 +36,8 @@ externalisePattern ::
 externalisePattern Internal.Pattern{term = term, constraints, ceilConditions, substitution = ensuredSubstitution} inputSubstitution =
     -- need a sort for the predicates in external format
     let sort = externaliseSort $ sortOfTerm term
-        substitutions = inputSubstitution <> (ensuredSubstitution `Substitution.compose` inputSubstitution)
+        -- inputSubstitution is probably not needed here at all
+        substitutions = ensuredSubstitution `Substitution.compose` inputSubstitution
         externalisedSubstitution =
             if null substitutions
                 then Nothing