diff --git a/passes/techmap/abc9.cc b/passes/techmap/abc9.cc
index 7c8eba177..e99c56d8d 100644
--- a/passes/techmap/abc9.cc
+++ b/passes/techmap/abc9.cc
@@ -294,7 +294,7 @@ struct Abc9Pass : public ScriptPass
 			run("design -load $abc9_map");
 			run("proc");
 			run("wbflip");
-			run("techmap -wb -map %$abc9 -map +/techmap.v");
+			run("techmap -wb -map %$abc9 -map +/techmap.v A:abc9_flop");
 			run("opt");
 			if (dff_mode || help_mode) {
 				if (!help_mode)