From: khizmax <libcds.dev@gmail.com>
Date: Tue, 15 Mar 2016 21:59:44 +0000 (+0300)
Subject: Removed redundant header
X-Git-Tag: v2.2.0~348
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=032893f12fea2c9a963befaaa208ab8b6463e372;p=libcds.git

Removed redundant header
---

diff --git a/cds/container/michael_set.h b/cds/container/michael_set.h
index 3db6ce87..ac6d35bd 100644
--- 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