Index: gecode-6.0.0/gecode/support/hash.hpp
===================================================================
--- gecode-6.0.0.orig/gecode/support/hash.hpp	2018-04-05 22:44:59.806776455 +0300
+++ gecode-6.0.0/gecode/support/hash.hpp	2018-04-05 22:45:27.641806730 +0300
@@ -40,7 +40,7 @@
 namespace Gecode {
 
   /// Combine hash value \a h into \a seed
-  void cmb_hash(std::size_t& seed, std::size_t h);
+  void _cmb_hash(std::size_t& seed, std::size_t h);
   /// Combine hash value \a h into \a seed
   void cmb_hash(std::size_t& seed, int h);
   /// Combine hash value \a h into \a seed
@@ -48,18 +48,18 @@
 
 
   forceinline void
-  cmb_hash(std::size_t& seed, std::size_t h) {
+  _cmb_hash(std::size_t& seed, std::size_t h) {
     seed ^= h + 0x9e3779b9 + (seed << 6) + (seed >> 2);
   }
 
   forceinline void
   cmb_hash(std::size_t& seed, int h) {
-    cmb_hash(seed, static_cast<std::size_t>(h));
+    _cmb_hash(seed, static_cast<std::size_t>(h));
   }
 
   forceinline void
   cmb_hash(std::size_t& seed, unsigned int h) {
-    cmb_hash(seed, static_cast<std::size_t>(h));
+    _cmb_hash(seed, static_cast<std::size_t>(h));
   }
 
 }
