X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/122a5a2813fd6d64d4db8ee7f1fdb5a62b7e0d6a..d0a8cb4f92bd372f091430671bd30f4422674d76:/tools/cmake/Tests.cmake

diff --git a/tools/cmake/Tests.cmake b/tools/cmake/Tests.cmake
index 6c71e1d107..6023103a61 100644
--- a/tools/cmake/Tests.cmake
+++ b/tools/cmake/Tests.cmake
@@ -138,8 +138,8 @@ set(STATEFUL_MC_UNIT_TESTS src/mc/sosp/Snapshot_test.cpp
                            src/mc/sosp/PageStore_test.cpp
                            src/mc/explo/udpor/Unfolding_test.cpp
                            src/mc/explo/udpor/UnfoldingEvent_test.cpp
-
                            src/mc/explo/udpor/EventSet_test.cpp
+                           src/mc/explo/udpor/ExtensionSet_test.cpp
                            src/mc/explo/udpor/History_test.cpp
                            src/mc/explo/udpor/Configuration_test.cpp)