diff --git a/src/ModelCheckerTh.cpp b/src/ModelCheckerTh.cpp
index 64b36944e20071c8fb317bba19c923e1a1b68e0c..271348c27c0d2b4133b347f722b143cacbbdc90a 100644
--- a/src/ModelCheckerTh.cpp
+++ b/src/ModelCheckerTh.cpp
@@ -162,6 +162,8 @@ void * ModelCheckerTh::Compute_successors()
             MDD complete_state=Accessible_epsilon(get_successor(meta_state,transition));
             reached_class=new LDDState;
             reached_class->m_lddstate=complete_state;
+            reached_class->setDiv(Set_Div(complete_state));
+            reached_class->setDeadLock(Set_Bloc(complete_state));
             pthread_mutex_lock(&m_graph_mutex);
             LDDState* pos=m_graph->find(reached_class);
             if(!pos)
diff --git a/src/threadSOG.cpp b/src/threadSOG.cpp
index 0481ca45f49e6d0244deac6e1bbcf1371d244d58..328b88f14b5136ae45f7391ade3eb892edc2cdf7 100644
--- a/src/threadSOG.cpp
+++ b/src/threadSOG.cpp
@@ -958,7 +958,7 @@ TASK_IMPL_3(MDD, lddmc_canonize,MDD, s,unsigned int, level, threadSOG & ,ds)
 }
 
 
-
+ 
 
 
 void threadSOG::computeSOGLaceCanonized(LDDGraph &g)