From 162eeea29ad9d03c41d7e9aab9ddea9673c1f063 Mon Sep 17 00:00:00 2001 From: Lofty Date: Tue, 31 Mar 2026 09:37:18 +0100 Subject: [PATCH] cellaigs: remove some dead code --- kernel/cellaigs.cc | 9 +-------- 1 file changed, 1 insertion(+), 8 deletions(-) diff --git a/kernel/cellaigs.cc b/kernel/cellaigs.cc index 0f897cd58..ce351514b 100644 --- a/kernel/cellaigs.cc +++ b/kernel/cellaigs.cc @@ -66,14 +66,7 @@ struct AigMaker Cell *cell; idict aig_indices; - int the_true_node; - int the_false_node; - - AigMaker(Aig *aig, Cell *cell) : aig(aig), cell(cell) - { - the_true_node = -1; - the_false_node = -1; - } + AigMaker(Aig *aig, Cell *cell) : aig(aig), cell(cell) {} int node2index(const AigNode &node) {