diff --git a/tests/techmap/dfflibmap_proc_formal.ys b/tests/techmap/dfflibmap_proc_formal.ys
index 851238474..c687ff507 100644
--- a/tests/techmap/dfflibmap_proc_formal.ys
+++ b/tests/techmap/dfflibmap_proc_formal.ys
@@ -44,6 +44,7 @@ EOT
 
 proc
 opt
+techmap
 copy top top_unmapped
 design -save start