diff options
author | Tim 'mithro' Ansell <mithro@mithis.com> | 2017-11-24 15:26:56 +1100 |
---|---|---|
committer | Tim 'mithro' Ansell <mithro@mithis.com> | 2017-11-25 19:48:26 -0800 |
commit | 04802e93e857a227b48479abd7970cb4152f496b (patch) | |
tree | 78346186d5ec51c7fce9ed01776851247ebda006 /libs/minisat | |
parent | 203c2dae3cdd255956d5db23d28f241eeca21612 (diff) | |
download | yosys-04802e93e857a227b48479abd7970cb4152f496b.tar.gz yosys-04802e93e857a227b48479abd7970cb4152f496b.tar.bz2 yosys-04802e93e857a227b48479abd7970cb4152f496b.zip |
subcircuit: Class with virtual methods should have virtual destructor.
Fixes a compile warning.
* https://stackoverflow.com/questions/1123044/when-should-your-destructor-be-virtual
Diffstat (limited to 'libs/minisat')
0 files changed, 0 insertions, 0 deletions