From 915167b09eed7178da06f661bfd43d84c5a2641a Mon Sep 17 00:00:00 2001
From: Igor Kostenko <2913258+isanych@users.noreply.github.com>
Date: Tue, 14 Jan 2025 19:28:15 +0000
Subject: [PATCH] fix return type of unsafe_literal_is_unassigned (#548)

---
 src/solvers/cdcl/smt_core.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/solvers/cdcl/smt_core.c b/src/solvers/cdcl/smt_core.c
index 87cf21557..2760371bc 100644
--- a/src/solvers/cdcl/smt_core.c
+++ b/src/solvers/cdcl/smt_core.c
@@ -4898,7 +4898,7 @@ static inline bval_t unsafe_literal_value(smt_core_t *s, literal_t l) {
 /*
  * Variant of literal_is_unassigned (same reason)
  */
-static inline bval_t unsafe_literal_is_unassigned(smt_core_t *s, literal_t l) {
+static inline bool unsafe_literal_is_unassigned(smt_core_t *s, literal_t l) {
   assert(end_learned <= l && l <= (int32_t) s->nlits);
   return bval_is_undef(s->value[var_of(l)]);
 }