diff --git a/src/solver_impl.rs b/src/solver_impl.rs index 2061a47..3fbb70a 100644 --- a/src/solver_impl.rs +++ b/src/solver_impl.rs @@ -759,7 +759,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()); } }