From 8ecd6ad406d6de7feade94bac6e85025709dcbe8 Mon Sep 17 00:00:00 2001
From: Noah Bruns <51422579+nfbruns@users.noreply.github.com>
Date: Wed, 26 Jun 2024 11:08:40 +0200
Subject: [PATCH] fix: return of ok if clause not added

---
 batsat/src/lib.rs | 8 +++-----
 1 file changed, 3 insertions(+), 5 deletions(-)

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(())
     }
 }