From 032893f12fea2c9a963befaaa208ab8b6463e372 Mon Sep 17 00:00:00 2001
From: khizmax <libcds.dev@gmail.com>
Date: Wed, 16 Mar 2016 00:59:44 +0300
Subject: [PATCH] Removed redundant header

---
 cds/container/michael_set.h | 2 --
 1 file changed, 2 deletions(-)

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
-- 
2.34.1