diff options
| author | Siesh1oo <siesh1oo@siesh1oo.no> | 2014-03-12 14:12:52 +0100 |
|---|---|---|
| committer | Siesh1oo <siesh1oo@siesh1oo.no> | 2014-03-12 14:15:25 +0100 |
| commit | 948d04c06c181a1c270017b6d7c819426a360303 (patch) | |
| tree | 32dd58755df18be6766f625a822c9d02347c1bd8 /passes/sat | |
| parent | e308091529d302da84ec4304ca30d09bcfdf0440 (diff) | |
| download | yosys-948d04c06c181a1c270017b6d7c819426a360303.tar.gz yosys-948d04c06c181a1c270017b6d7c819426a360303.tar.bz2 yosys-948d04c06c181a1c270017b6d7c819426a360303.zip | |
- libs/minisat/System.cc: fix definition/declaration mismatch for Minisat::memUsedPeak() and mark unused parameters as unused to fix compiler error+warning. (minisat bug tracker issues #1, #9, #10.)
Diffstat (limited to 'passes/sat')
0 files changed, 0 insertions, 0 deletions