diff --git a/techlibs/xilinx/synth_xilinx.cc b/techlibs/xilinx/synth_xilinx.cc
index 46b30573c..7a3265c88 100644
--- a/techlibs/xilinx/synth_xilinx.cc
+++ b/techlibs/xilinx/synth_xilinx.cc
@@ -679,7 +679,7 @@ struct SynthXilinxPass : public ScriptPass
 					abc_opts += " -dff";
 				if (retime)
 					abc_opts += " -D 1";
-				run("abc" + abc_opts);
+				run("abc -dress" + abc_opts);
 			}
 			run("clean");