fix(cp): Substitution was not done for linear eq.

plaans · Jun 12, 2023 · 299483b · 299483b
1 parent 0da7c1f
commit 299483b
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/planning/planning/src/chronicles/constraints.rs b/planning/planning/src/chronicles/constraints.rs
@@ -120,7 +120,8 @@ impl Substitute for ConstraintType {
                 lb: substitution.sub_linear_sum(lb),
                 ub: substitution.sub_linear_sum(ub),
             }),
-            InTable(_) | Lt | Eq | Neq | Or | LinearEq(_) => self.clone(), // no variables in those variants
+            LinearEq(sum) => LinearEq(substitution.sub_linear_sum(sum)),
+            InTable(_) | Lt | Eq | Neq | Or => self.clone(), // no variables in those variants
         }
     }
 }