diff options
| author | Alberto Gonzalez <boqwxp@airmail.cc> | 2020-04-04 22:22:54 +0000 |
|---|---|---|
| committer | Alberto Gonzalez <boqwxp@airmail.cc> | 2020-04-04 22:22:54 +0000 |
| commit | 5fedd0931c6e749483b8ddb3d7672ddca9ac5310 (patch) | |
| tree | ea1fcb7f085bc011b00fde05e26f52045c08dd6f | |
| parent | 0ca3a8e94f9bff1e262e6bea1796cc125fa24b92 (diff) | |
| download | yosys-5fedd0931c6e749483b8ddb3d7672ddca9ac5310.tar.gz yosys-5fedd0931c6e749483b8ddb3d7672ddca9ac5310.tar.bz2 yosys-5fedd0931c6e749483b8ddb3d7672ddca9ac5310.zip | |
Use newly-renamed `-push-copy` option.
| -rw-r--r-- | passes/sat/qbfsat.cc | 2 |
1 files changed, 1 insertions, 1 deletions
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); |