Removed redundant header

diff --git a/cds/container/michael_set.h b/cds/container/michael_set.h
index 3db6ce875ac23aaed7592e867650602d313ed510..ac6d35bde28a6b8e2ecd2b4ec36834daace74720 100644 (file)
--- a/cds/container/michael_set.h
+++ b/cds/container/michael_set.h
@@ -34,8 +34,6 @@
 #include <cds/container/details/michael_set_base.h>
 #include <cds/details/allocator.h>
 
-#include <type_traits> // is_move_constructible
-
 namespace cds { namespace container {
 
     /// Michael's hash set