diff options
| author | Siesh1oo <siesh1oo@siesh1oo.no> | 2014-03-12 14:15:53 +0100 |
|---|---|---|
| committer | Siesh1oo <siesh1oo@siesh1oo.no> | 2014-03-12 14:15:53 +0100 |
| commit | 18367919ea64a0881da7cf439c99365a8807d3a3 (patch) | |
| tree | d4080e6808789fce375958704df924eee7d3a6ae /passes/sat | |
| parent | 948d04c06c181a1c270017b6d7c819426a360303 (diff) | |
| download | yosys-18367919ea64a0881da7cf439c99365a8807d3a3.tar.gz yosys-18367919ea64a0881da7cf439c99365a8807d3a3.tar.bz2 yosys-18367919ea64a0881da7cf439c99365a8807d3a3.zip | |
- libs/minisat/Solver.cc: insert spaces between string and PRIu64 literal, otherwise c++11-compliant compilers will bail out due to user-defined literals (minisat bug tracker #13).
Diffstat (limited to 'passes/sat')
0 files changed, 0 insertions, 0 deletions