fix: return of ok if clause not added

chrjabs · Jun 26, 2024 · 8ecd6ad · 8ecd6ad
1 parent a0e84a1
commit 8ecd6ad
Showing 1 changed file with 3 additions and 5 deletions.
diff --git a/batsat/src/lib.rs b/batsat/src/lib.rs
@@ -43,7 +43,6 @@ impl Solve for BatsatBasicSolver {
                 error: "BatSat Solver is in an UNSAT state".into(),
             }
             .into()),
-
             _ => unreachable!(),
         }
     }
@@ -65,10 +64,9 @@ impl Solve for BatsatBasicSolver {
             .map(|l| batsat::Lit::new(self.0.var_of_int(l.vidx32() + 1), l.is_pos()))
             .collect::<Vec<batsat::Lit>>();
 
-        match self.0.add_clause_reuse(&mut c) {
-            true => Ok(()),
-            false => Ok(()), //Err(SolverError::Api("Currently in an UNSAT state".into())),
-        }
+        self.0.add_clause_reuse(&mut c);
+
+        Ok(())
     }
 }