From f21800b0d0bf36320963753490981488b3f81dae Mon Sep 17 00:00:00 2001
From: Markus Blatt <mblatt@dune-project.org>
Date: Thu, 14 Mar 2013 12:54:08 +0000
Subject: [PATCH] Use HAVE_DUNE_BOOST instead of HAVE_BOOST

[[Imported from SVN: r7425]]
---
 dune/common/hash.hh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/dune/common/hash.hh b/dune/common/hash.hh
index 5a512cfa0..638cf80cf 100644
--- a/dune/common/hash.hh
+++ b/dune/common/hash.hh
@@ -11,7 +11,7 @@
 #include <tr1/functional>
 #endif
 
-#if HAVE_BOOST
+#if HAVE_DUNE_BOOST
 
 #include <boost/version.hpp>
 
@@ -26,7 +26,7 @@
 
 #endif // !HAVE_STD_HASH && !HAVE_TR1_HASH
 #endif // BOOST_VERSION >= 103400
-#endif // HAVE_BOOST
+#endif // HAVE_DUNE_BOOST
 
 /**
  * \file
-- 
GitLab