From 02a13298abcf0a04fd81b822dc8a1ea83ccddf8a Mon Sep 17 00:00:00 2001
From: AhoyISki <ahoyiski@gmail.com>
Date: Mon, 13 Oct 2025 12:21:43 -0300
Subject: [PATCH] Fixed issue where unused error Symbols were kept in the
 objective.

---
 src/solver_impl.rs | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/solver_impl.rs b/src/solver_impl.rs
index 7c5948e..aabb295 100644
--- a/src/solver_impl.rs
+++ b/src/solver_impl.rs
@@ -748,7 +748,8 @@ impl Solver {
     fn remove_constraint_effects(&mut self, cn: &Constraint, tag: &Tag) {
         if tag.marker.type_() == SymbolType::Error {
             self.remove_marker_effects(tag.marker, cn.strength());
-        } else if tag.other.type_() == SymbolType::Error {
+        }
+        if tag.other.type_() == SymbolType::Error {
             self.remove_marker_effects(tag.other, cn.strength());
         }
     }