Revert "abc -dff now implies "-D 0" otherwise retiming doesn't happen"

This reverts commit 19271bd996a79cb4be1db658fcf18227ee0a1dff.

diff --git a/passes/techmap/abc.cc b/passes/techmap/abc.cc
index f94fc7589d5d53c52a88d214c7abc972faa023af..3adbe0a0480c6c71af1f8fa9e68d7b6858577280 100644 (file)
--- a/passes/techmap/abc.cc
+++ b/passes/techmap/abc.cc
@@ -1674,8 +1674,6 @@ struct AbcPass : public Pass {
                        }
                        if (arg == "-dff") {
                                dff_mode = true;
-                               if (delay_target.empty())
-                                       delay_target = "-D 0";
                                continue;
                        }
                        if (arg == "-clk" && argidx+1 < args.size()) {