diff --git a/batsat/src/lib.rs b/batsat/src/lib.rs
index 8562666b..77bdb4fa 100644
--- 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(())
     }
 }