diff options
Diffstat (limited to 'crates/mozart-sat-resolver/src/solver.rs')
| -rw-r--r-- | crates/mozart-sat-resolver/src/solver.rs | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/crates/mozart-sat-resolver/src/solver.rs b/crates/mozart-sat-resolver/src/solver.rs index e52c913..7ade361 100644 --- a/crates/mozart-sat-resolver/src/solver.rs +++ b/crates/mozart-sat-resolver/src/solver.rs @@ -785,7 +785,6 @@ impl<'a> Solver<'a> { if let Some(literal) = last_literal { let last_l = last_level.unwrap(); - self.branches[last_branch_index] .0 .remove(last_branch_offset); |