From 5fedd0931c6e749483b8ddb3d7672ddca9ac5310 Mon Sep 17 00:00:00 2001 From: Alberto Gonzalez Date: Sat, 4 Apr 2020 22:22:54 +0000 Subject: [PATCH] Use newly-renamed `-push-copy` option. --- passes/sat/qbfsat.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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 input_wires = validate_design_and_get_inputs(module, opt); -- 2.30.2