From: Aina Niemetz <aina.niemetz@gmail.com>
Date: Wed, 26 Sep 2018 00:07:00 +0000 (-0700)
Subject: examples/hashsmt/sha1_inversion: Fix includes for newer Boost version. (#2534)
X-Git-Tag: cvc5-1.0.0~4504
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=e71c1562cceb45359668081a25a97d65d7e66260;p=cvc5.git

examples/hashsmt/sha1_inversion: Fix includes for newer Boost version. (#2534)
---

diff --git a/examples/hashsmt/sha1_inversion.cpp b/examples/hashsmt/sha1_inversion.cpp
index 652fc4e5b..ef5191cb7 100644
--- 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>