diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2019-09-13 09:49:15 -0700 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2019-09-13 09:49:15 -0700 |
| commit | 95e80809a5801743fabb2836fa25f3c3732a9a24 (patch) | |
| tree | e0ba8897072f7ffe7fa9bf3ac6a958efbc5c83bc /passes/sat/sat.cc | |
| parent | c487a8ff25a89506423e868ff3b4345bc36a8e00 (diff) | |
| download | yosys-95e80809a5801743fabb2836fa25f3c3732a9a24.tar.gz yosys-95e80809a5801743fabb2836fa25f3c3732a9a24.tar.bz2 yosys-95e80809a5801743fabb2836fa25f3c3732a9a24.zip | |
Revert "SigSet<Cell*> to use stable compare class"
This reverts commit 4ea34aaacdf6f76e11a83d5eb2a53ba7e75f7c11.
Diffstat (limited to 'passes/sat/sat.cc')
| -rw-r--r-- | passes/sat/sat.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/passes/sat/sat.cc b/passes/sat/sat.cc index 097fc5a2e..430bba1e8 100644 --- a/passes/sat/sat.cc +++ b/passes/sat/sat.cc @@ -61,7 +61,7 @@ struct SatHelper // model variables std::vector<std::string> shows; SigPool show_signal_pool; - SigSet<RTLIL::Cell*, RTLIL::sort_by_name_id<RTLIL::Cell>> show_drivers; + SigSet<RTLIL::Cell*> show_drivers; int max_timestep, timeout; bool gotTimeout; |