From 8b1cc6e05e6316e7af63d4cf9c5b9dd70298ac0b Mon Sep 17 00:00:00 2001
From: Krystine Sherwin <93062060+KrystalDelusion@users.noreply.github.com>
Date: Fri, 11 Apr 2025 04:12:34 +1200
Subject: [PATCH] cutpoint: Use new selection helpers

---
 passes/sat/cutpoint.cc | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

diff --git a/passes/sat/cutpoint.cc b/passes/sat/cutpoint.cc
index 58cb4a2aa..bac699dec 100644
--- a/passes/sat/cutpoint.cc
+++ b/passes/sat/cutpoint.cc
@@ -79,19 +79,18 @@ struct CutpointPass : public Pass {
 		if (flag_blackbox) {
 			if (!design->full_selection())
 				log_cmd_error("This command only operates on fully selected designs!\n");
-			RTLIL::Selection boxes(false);
+			design->push_empty_selection();
 			for (auto module : design->modules())
 				if (flag_instances) {
 					for (auto cell : module->cells()) {
 						auto mod = design->module(cell->type);
 						if (mod != nullptr && mod->get_blackbox_attribute())
-							boxes.select(module, cell);
+							design->select(module, cell);
 					}
 				} else {
 					if (module->get_blackbox_attribute())
-						boxes.select(module);
+						design->select(module);
 			}
-			design->selection_stack.push_back(boxes);
 		}
 
 		for (auto module : design->all_selected_modules())