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

diff --git a/passes/sat/qbfsat.cc b/passes/sat/qbfsat.cc
index 8b7ccc685746f7d663a2160211786b087f4ab942..798a8edbb3d2a0d2b9468584872cf5f82213ca91 100644 (file)
--- 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);