The current PRIi64 system is missing a space when -std=c++11 is passed to GCC and the minisat header is #include-d -- in this case, the compiler fails. The 3 spaces fix this issue.
The proposed fix has been tested with a number of compilers and systems and seems to work fine (as it should, it's just 3 spaces).
The current PRIi64 system is missing a space when -std=c++11 is passed to GCC and the minisat header is #include-d -- in this case, the compiler fails. The 3 spaces fix this issue.
The proposed fix has been tested with a number of compilers and systems and seems to work fine (as it should, it's just 3 spaces).