1 files changed, 0 insertions, 2 deletions
diff --git a/kernel/yosys.cc b/kernel/yosys.cc
index 7b8173b6..0ecb4cda 100644
--- a/kernel/yosys.cc
+++ b/kernel/yosys.cc
@@ -74,9 +74,7 @@ int SIZE(RTLIL::Wire *wire)
 void yosys_setup()
 {
 	Pass::init_register();
-
 	yosys_design = new RTLIL::Design;
-	yosys_design->selection_stack.push_back(RTLIL::Selection());
 	log_push();
 }