From 5e25561758be87f4974a6700675e0cd7addd8e0c Mon Sep 17 00:00:00 2001
From: Adrien Champion <adrien.champion@protonmail.com>
Date: Mon, 15 Jan 2024 11:43:23 +0100
Subject: [PATCH] fix: preproc generic cause triviality check

---
 src/common/smt.rs | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/src/common/smt.rs b/src/common/smt.rs
index 7b5eec6..df402b8 100644
--- a/src/common/smt.rs
+++ b/src/common/smt.rs
@@ -1097,7 +1097,10 @@ impl<Parser: Copy> ClauseTrivialExt for Solver<Parser> {
                 if lhs.is_empty() {
                     Ok(Some(false))
                 } else {
-                    conj.try_is_unsat(self)
+                    match conj.try_is_unsat(self) {
+                        Ok(Some(true)) => Ok(Some(true)),
+                        _ => Ok(Some(false)),
+                    }
                 }
             }
         };