From d4f1c09e3e41d093184eaa90f9f8a9a279e73a67 Mon Sep 17 00:00:00 2001 From: Igor Kostenko Date: Wed, 15 Jan 2025 08:16:05 +0000 Subject: [PATCH] fix return from void --- src/scratch/bool_vartable.c | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/src/scratch/bool_vartable.c b/src/scratch/bool_vartable.c index ae92b9fba..1f9a1e391 100644 --- a/src/scratch/bool_vartable.c +++ b/src/scratch/bool_vartable.c @@ -747,10 +747,10 @@ void bool_vartable_push_eq(bool_vartable_t *table, literal_t l1, literal_t l2) if (opposite(l1, l2)) { bool_vartable_add_empty_clause(table); } else if (l1 != l2) { - if (l1 == true_literal) return bool_vartable_add_unit_clause(table, l2); - if (l1 == false_literal) return bool_vartable_add_unit_clause(table, not(l2)); - if (l2 == true_literal) return bool_vartable_add_unit_clause(table, l1); - if (l2 == false_literal) return bool_vartable_add_unit_clause(table, not(l1)); + if (l1 == true_literal) { bool_vartable_add_unit_clause(table, l2); return; } + if (l1 == false_literal) { bool_vartable_add_unit_clause(table, not(l2)); return; } + if (l2 == true_literal) { bool_vartable_add_unit_clause(table, l1); return; } + if (l2 == false_literal) { bool_vartable_add_unit_clause(table, not(l1)); return; } push_equiv(&table->queue, l1, l2); if (root_boolvar_map(table, var_of(l1)) == null_literal ||