diff --git a/src/CMakeLists.txt b/src/CMakeLists.txt
index 2bdab4d35a1fa68f0da3c7452d51013a905337ae..6b34686eafebb603d22065a8b86fc96814b0a7f5 100644
--- a/src/CMakeLists.txt
+++ b/src/CMakeLists.txt
@@ -49,8 +49,6 @@ add_executable(pmc-sog main.cpp
   LDDState.cpp
   LDDState.h
   TransSylvan.cpp
-  algorithm/CNDFS.h
-  algorithm/CNDFS.cpp
   SpotSogState.cpp
   SpotSogState.h
   SpotSogIterator.cpp
@@ -99,7 +97,10 @@ add_executable(pmc-sog main.cpp
     Hybrid/MCHybridReq/MCHybridSOGReq.h
     Hybrid/MCHybridReqPOR/MCHybridSOGReqPOR.cpp
     Hybrid/MCHybridReqPOR/MCHybridSOGReqPOR.h
-    misc/md5_hash.h Hybrid/MCHybridPOR/MCHybridSOGPOR.cpp Hybrid/MCHybridPOR/MCHybridSOGPOR.h)
+    misc/md5_hash.h Hybrid/MCHybridPOR/MCHybridSOGPOR.cpp Hybrid/MCHybridPOR/MCHybridSOGPOR.h
+        algorithm/CNDFS.h
+        algorithm/CNDFS.cpp
+        )
 
 
 target_include_directories(pmc-sog PUBLIC  "${PROJECT_BINARY_DIR}/src")
diff --git a/src/misc/SafeDequeue.cpp b/src/misc/SafeDequeue.cpp
index 8834583aa3d5f2652a36bd2d467fa0b2c0e02267..aca8c1157b414784fdb9cc1604c409edf021f596 100644
--- a/src/misc/SafeDequeue.cpp
+++ b/src/misc/SafeDequeue.cpp
@@ -107,4 +107,5 @@ template class SafeDequeue<couple_th>;
 
 template class SafeDequeue<coupleSuccessor>;
 template class SafeDequeue<spot::formula>;
+//typedef pair<struct myState*, int> coupleSuccessor;
 template class SafeDequeue<struct myState*>;
diff --git a/src/misc/SafeDequeue.h b/src/misc/SafeDequeue.h
index eea1e20259de5137d5ddf8387958cc9f8701333d..b4ddbb224f25e4f38110eacd6bc21a34ca3c2200 100644
--- a/src/misc/SafeDequeue.h
+++ b/src/misc/SafeDequeue.h
@@ -20,7 +20,6 @@
 #define SAFEDEQUEUE_H
 #include <memory>
 #include "LDDState.h"
-#include "algorithm/CNDFS.h"
 #include <queue>
 #include <mutex>
 #include <functional>