diff --git a/passes/techmap/abc9_ops.cc b/passes/techmap/abc9_ops.cc
index fc2f52157..8337b61b1 100644
--- a/passes/techmap/abc9_ops.cc
+++ b/passes/techmap/abc9_ops.cc
@@ -669,10 +669,8 @@ void prep_box(RTLIL::Design *design, bool dff_mode)
 		ss << std::endl;
 
 		auto &t = timing.setup_module(module).comb;
-		if (t.empty()) {
+		if (t.empty())
 			log_warning("(* abc9_box *) module '%s' has no timing (and thus no connectivity) information.\n", log_id(module));
-			continue;
-		}
 
 		for (const auto &o : outputs) {
 			first = true;