diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2019-09-12 11:45:02 -0700 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2019-09-12 11:45:02 -0700 |
| commit | 4ea34aaacdf6f76e11a83d5eb2a53ba7e75f7c11 (patch) | |
| tree | 4919f2153ad547402f8dcc36421372567cbb34a8 /passes/sat/sat.cc | |
| parent | 6044fff074f026676312f047cfd5a7c862ff987f (diff) | |
| download | yosys-4ea34aaacdf6f76e11a83d5eb2a53ba7e75f7c11.tar.gz yosys-4ea34aaacdf6f76e11a83d5eb2a53ba7e75f7c11.tar.bz2 yosys-4ea34aaacdf6f76e11a83d5eb2a53ba7e75f7c11.zip | |
SigSet<Cell*> to use stable compare class
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 430bba1e8..097fc5a2e 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*> show_drivers; + SigSet<RTLIL::Cell*, RTLIL::sort_by_name_id<RTLIL::Cell>> show_drivers; int max_timestep, timeout; bool gotTimeout; |