From: khizmax <khizmax@gmail.com>
Date: Thu, 24 Aug 2017 14:08:28 +0000 (+0300)
Subject: Changed target name
X-Git-Tag: v2.3.1~4
X-Git-Url: http://plrg.eecs.uci.edu/git/?p=libcds.git;a=commitdiff_plain;h=59acc73e821ba061ccae8c359c479cabe0dd15b0

Changed target name
---

diff --git a/test/unit/set/CMakeLists.txt b/test/unit/set/CMakeLists.txt
index 3772b675..0487d661 100644
--- a/test/unit/set/CMakeLists.txt
+++ b/test/unit/set/CMakeLists.txt
@@ -19,7 +19,7 @@ target_link_libraries(${UNIT_SET_FELDMAN} ${CDS_TEST_LIBRARIES})
 add_test(NAME ${UNIT_SET_FELDMAN} COMMAND ${UNIT_SET_FELDMAN} WORKING_DIRECTORY ${EXECUTABLE_OUTPUT_PATH})
 
 # MichaelSet<MichaelList>
-set(UNIT_SET_MICHAEL unit-set-michael)
+set(UNIT_SET_MICHAEL unit-set-michael-michael)
 set(UNIT_SET_MICHAEL_SOURCES
     ../main.cpp
     michael_michael_hp.cpp