From d28ff66e904b835b1e21224205602bfba455ec72 Mon Sep 17 00:00:00 2001
From: Igor Kostenko <ikostenko@perforce.com>
Date: Tue, 14 Jan 2025 16:23:26 +0000
Subject: [PATCH] fix return type of unsafe_literal_is_unassigned

---
 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)]);
 }