path: root/README
diff options
authorClifford Wolf <>2013-10-31 01:15:07 +0100
committerClifford Wolf <>2013-10-31 01:15:07 +0100
commitf024b19ed9b472ac3c72091c48f0b6e2d268d76a (patch)
treef2997a42059eebe9aa3bdf055f50dd85e444e24a /README
parentcc7986a3e57a05129b99cf02036f53c472c643b1 (diff)
README file typo fix
Diffstat (limited to 'README')
1 files changed, 1 insertions, 1 deletions
diff --git a/README b/README
index 8fdbf082..3144d751 100644
--- a/README
+++ b/README
@@ -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