projects / yosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 948d04c) | patch
- libs/minisat/Solver.cc: insert spaces between string and PRIu64 literal, otherwise...
authorSiesh1oo <siesh1oo@siesh1oo.no>
Wed, 12 Mar 2014 13:15:53 +0000 (14:15 +0100)
committerSiesh1oo <siesh1oo@siesh1oo.no>
Wed, 12 Mar 2014 13:15:53 +0000 (14:15 +0100)
commit18367919ea64a0881da7cf439c99365a8807d3a3
treed4080e6808789fce375958704df924eee7d3a6aetree
parent948d04c06c181a1c270017b6d7c819426a360303commit | diff
 - 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).
libs/minisat/Solver.cc diff | blob | history