diff --git a/src/algorithm/CNDFS.cpp b/src/algorithm/CNDFS.cpp
index e4b188c51e0ae4f1321dbbe8d44933bad30015de..cbf1251d6abac52ca9314fb2989216acc064dec1 100644
--- a/src/algorithm/CNDFS.cpp
+++ b/src/algorithm/CNDFS.cpp
@@ -28,7 +28,7 @@ CNDFS::~CNDFS()=default;
 //structure qui represente le produit de 2 états
 
  void CNDFS::DfsBlue(ModelCheckBaseMT &mcl,shared_ptr<spot::twa_graph> a) {
-   // mMcl = &m;
+     mMcl = &mcl;
     //cout << "First state SOG from CNDFS " << mMcl->getInitialMetaState() << endl;
     //cout << "First state SOG from CNDFS " << typeid(m.getGraph()->getInitialAggregate()->getSuccessors()).name() << endl;
     //cout << "First state BA from CNDFS "  << a->get_init_state()<<endl;
@@ -49,7 +49,7 @@ CNDFS::~CNDFS()=default;
     //mtx.unlock();
 
      //iterate succ of SOG first state
-     vector<pair<LDDState*, int>> * edges =m.getGraph()->getInitialAggregate()->getSuccessors();
+     vector<pair<LDDState*, int>> * edges =mMcl->getGraph()->getInitialAggregate()->getSuccessors();
      for (const auto& pair : *edges)
      {
        std::cout << "sog succ list "<< endl;
diff --git a/src/algorithm/CNDFS.h b/src/algorithm/CNDFS.h
index edda14319157cf5b156c9acb94bdbabd846cb340..547901daa6aa52e3fddb8250a8f352bfc0e9d8ce 100644
--- a/src/algorithm/CNDFS.h
+++ b/src/algorithm/CNDFS.h
@@ -10,7 +10,7 @@
 class CNDFS {
 
 private:
-    //ModelCheckBaseMT& mMcl;
+    static ModelCheckBaseMT *mMcl;
    //shared_ptr<spot::twa_graph> mAa;
 public:
     //CNDFS(auto mK, const shared_ptr<spot::twa_graph> &mAa);