diff --git a/passes/techmap/abc9.cc b/passes/techmap/abc9.cc
index 3a79c0dbf..fe5cc7af1 100644
--- a/passes/techmap/abc9.cc
+++ b/passes/techmap/abc9.cc
@@ -308,9 +308,8 @@ struct Abc9Pass : public ScriptPass
 			run("design -load $abc9_map");
 			if (help_mode) run("select =*");
 			else active_design->push_complete_selection();
-			run("proc");
 			run("wbflip");
-			run("techmap -wb -map %$abc9 -map +/techmap.v A:abc9_flop");
+			run("techmap -autoproc -wb -map %$abc9 -map +/techmap.v A:abc9_flop");
 			run("opt -nodffe -nosdff");
 			if (dff_mode || help_mode) {
 				if (!help_mode)