projects
/
cvc5.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(parent:
3772ffc
)
examples/hashsmt/sha1_inversion: Fix includes for newer Boost version. (#2534)
author
Aina Niemetz
<aina.niemetz@gmail.com>
Wed, 26 Sep 2018 00:07:00 +0000
(17:07 -0700)
committer
GitHub
<noreply@github.com>
Wed, 26 Sep 2018 00:07:00 +0000
(17:07 -0700)
examples/hashsmt/sha1_inversion.cpp
patch
|
blob
|
history
diff --git
a/examples/hashsmt/sha1_inversion.cpp
b/examples/hashsmt/sha1_inversion.cpp
index 652fc4e5be023f5868e7bb7af5eba9dab156f933..ef5191cb7c7ead54a550ec31faf7058053f11750 100644
(file)
--- a/
examples/hashsmt/sha1_inversion.cpp
+++ b/
examples/hashsmt/sha1_inversion.cpp
@@
-22,7
+22,13
@@
* Author: dejan
*/
+#include <boost/version.hpp>
+#if BOOST_VERSION > 106700
+#include <boost/uuid/detail/sha1.hpp>
+#else
#include <boost/uuid/sha1.hpp>
+#endif
+
#include <fstream>
#include <iostream>
#include <sstream>