fix return type of unsafe_literal_is_unassigned

SRI-CSL · Jan 14, 2025 · d28ff66 · d28ff66
1 parent 37e652a
commit d28ff66
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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)]);
 }