projects
/
yosys.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
cc7986a
)
README file typo fix
author
Clifford Wolf
<clifford@clifford.at>
Thu, 31 Oct 2013 00:15:07 +0000
(
01:15
+0100)
committer
Clifford Wolf
<clifford@clifford.at>
Thu, 31 Oct 2013 00:15:07 +0000
(
01:15
+0100)
README
patch
|
blob
|
history
diff --git
a/README
b/README
index 8fdbf082527c0b074542f743e629cd69c5812d1d..3144d7516178e3c5beb20a71474efbba2b1d3918 100644
(file)
--- 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 occur
a
nce of PRIi64 in the header file:
+and after each occur
re
nce of PRIi64 in the header file:
sudo sed -i 's/PRIi64/ & /' /usr/include/minisat/utils/Options.h