Removed Michael's allocator

[libcds.git] / CMakeLists.txt

diff --git a/CMakeLists.txt b/CMakeLists.txt
index 446f559229d05cdfd989fcfa862c7d6c225f6f07..12412bb3b473ed34535e741d8a03d2374d2fce25 100644 (file)
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -114,7 +114,6 @@ set(SOURCES src/hp_gc.cpp
             src/dhp_gc.cpp
             src/urcu_gp.cpp
             src/urcu_sh.cpp
-            src/michael_heap.cpp
             src/topology_hpux.cpp
             src/topology_linux.cpp
             src/topology_osx.cpp