From: Eddie Hung <eddie@fpgeh.com>
Date: Wed, 10 Apr 2019 15:31:40 +0000 (-0700)
Subject: Revert "abc -dff now implies "-D 0" otherwise retiming doesn't happen"
X-Git-Tag: yosys-0.9~195^2~5
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=5f4024ffd2a59e3c0c7edce4057c47d3a005e18f;p=yosys.git

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 f94fc7589..3adbe0a04 100644
--- 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()) {