diff --git a/Hash_map/include/CGAL/Tools/chained_map.h b/Hash_map/include/CGAL/Tools/chained_map.h
index 205e1e6ca16..63ddd7d4bad 100644
--- a/Hash_map/include/CGAL/Tools/chained_map.h
+++ b/Hash_map/include/CGAL/Tools/chained_map.h
@@ -24,11 +24,13 @@
 #ifndef CGAL_CHAINED_MAP_H
 #define CGAL_CHAINED_MAP_H
 
+#include <CGAL/memory.h>
+
 namespace CGAL {
 
 namespace internal {
 
-template <typename T, typename Allocator = std::allocator<T> > class chained_map;
+template <typename T, typename Allocator = CGAL_ALLOCATOR(T) > class chained_map;
 template <typename T> class chained_map_elem;
 
 template <typename T>
diff --git a/Hash_map/include/CGAL/Unique_hash_map.h b/Hash_map/include/CGAL/Unique_hash_map.h
index 29067d664ca..494ef12d64c 100644
--- a/Hash_map/include/CGAL/Unique_hash_map.h
+++ b/Hash_map/include/CGAL/Unique_hash_map.h
@@ -27,6 +27,7 @@
 #define CGAL_UNIQUE_HASH_MAP_H
 
 #include <CGAL/basic.h>
+#include <CGAL/memory.h>
 #include <CGAL/Handle_hash_function.h>
 #include <CGAL/Tools/chained_map.h>
 #include <cstddef>
@@ -35,7 +36,7 @@ namespace CGAL {
 
 template <class Key_, class Data_, 
           class UniqueHashFunction = Handle_hash_function,
-          class Allocator_ = std::allocator<Data_> >
+          class Allocator_ = CGAL_ALLOCATOR(Data_) >
 class Unique_hash_map {
 public:
     typedef Key_                                     Key;