summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSiesh1oo <siesh1oo@siesh1oo.no>2014-03-10 14:37:14 +0100
committerSiesh1oo <siesh1oo@siesh1oo.no>2014-03-10 14:37:14 +0100
commit9327d434d522f888609e5f4a42a6e06f01864e79 (patch)
tree4d62bbd0011f984c86bb33289ba1904c8baf6439
parentf6579282d73aec055e2fc4ebebd1b6313da248fd (diff)
- README: fix typo in sed-command for minisat-include fix.
-rw-r--r--README2
1 files changed, 1 insertions, 1 deletions
diff --git a/README b/README
index 385ee2c0..45febc2f 100644
--- a/README
+++ b/README
@@ -292,7 +292,7 @@ a recent version of gcc:
This is a bug in the minisat header. It can be fixed by adding spaces before
and after each occurrence of PRIi64 in the header file:
- sudo sed -i 's/PRIi64/ & /' /usr/include/minisat/utils/Options.h
+ sudo sed -i -e 's/PRIi64/ & /' /usr/include/minisat/utils/Options.h
Roadmap / Large-scale TODOs