From: Alberto Gonzalez <boqwxp@airmail.cc>
Date: Sat, 4 Apr 2020 22:22:54 +0000 (+0000)
Subject: Use newly-renamed `-push-copy` option.
X-Git-Tag: working-ls180~641^2~4
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=5fedd0931c6e749483b8ddb3d7672ddca9ac5310;p=yosys.git

Use newly-renamed `-push-copy` option.
---

diff --git a/passes/sat/qbfsat.cc b/passes/sat/qbfsat.cc
index 8b7ccc685..798a8edbb 100644
--- a/passes/sat/qbfsat.cc
+++ b/passes/sat/qbfsat.cc
@@ -483,7 +483,7 @@ struct QbfSatPass : public Pass {
 		if (!opt.specialize_from_file) {
 			//Save the design to restore after modiyfing the current module.
 			std::string module_name = module->name.str();
-			Pass::call(design, "design -duplicate");
+			Pass::call(design, "design -push-copy");
 
 			//Replace input wires with wires assigned $allconst cells.
 			std::set<std::string> input_wires = validate_design_and_get_inputs(module, opt);