From f024b19ed9b472ac3c72091c48f0b6e2d268d76a Mon Sep 17 00:00:00 2001 From: Clifford Wolf Date: Thu, 31 Oct 2013 01:15:07 +0100 Subject: [PATCH] README file typo fix --- README | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README b/README index 8fdbf0825..3144d7516 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 -- 2.30.2