README file typo fix

This commit is contained in:
Clifford Wolf 2013-10-31 01:15:07 +01:00
parent cc7986a3e5
commit f024b19ed9
1 changed files with 1 additions and 1 deletions

2
README
View File

@ -272,7 +272,7 @@ a recent version of gcc:
unable to find string literal operator operator"" PRIi64
This is a bug in the minisat header. It can be fixed by adding spaces before
and after each occurance of PRIi64 in the header file:
and after each occurrence of PRIi64 in the header file:
sudo sed -i 's/PRIi64/ & /' /usr/include/minisat/utils/Options.h