Remove redundant condition

diff --git a/backends/aiger/xaiger.cc b/backends/aiger/xaiger.cc
index 1d502a748ed976a747233a48f74ab6683a23dc6c..4d8bb7f00056efb81cb23dec3fcf310c93a8ec1b 100644 (file)
--- a/backends/aiger/xaiger.cc
+++ b/backends/aiger/xaiger.cc
@@ -329,7 +329,7 @@ struct XAigerWriter
                        //log_warning("Unsupported cell type: %s (%s)\n", log_id(cell->type), log_id(cell));
                }
 
-               if (abc_box_seen && !holes_mode) {
+               if (abc_box_seen) {
                        for (auto &it : bit_users)
                                if (bit_drivers.count(it.first))
                                        for (auto driver_cell : bit_drivers.at(it.first))