diff --git a/src/ModelCheckerTh.cpp b/src/ModelCheckerTh.cpp
index 1e748b0e1599a063d1536d3e783635d407ccec2a..b155c67f1c615de8d56d53c80dbf8f516f52b447 100644
--- a/src/ModelCheckerTh.cpp
+++ b/src/ModelCheckerTh.cpp
@@ -152,10 +152,6 @@ void ModelCheckerTh::buildSucc(LDDState *agregate)
         pthread_spin_lock(&m_spin_stack[m_min_charge]);
         m_st[m_min_charge].push(agregate);
         pthread_spin_unlock(&m_spin_stack[m_min_charge]);
-        if(!isNotTerminated())
-        {
-             ComputeTh_Succ();
-        }
 
     }
 }
diff --git a/src/main.cpp b/src/main.cpp
index 85b562ba87643ccfc4f3d89333015379f74cd6f3..e1b435a661895884e16bf83b93fa00caf2dc6ca8 100644
--- a/src/main.cpp
+++ b/src/main.cpp
@@ -229,11 +229,8 @@ int main(int argc, char** argv)
 
 
         auto k =
-<<<<<<< HEAD
             std::make_shared<SogKripkeTh>(d,mcl,R.getListTransitionAP(),R.getListPlaceAP());                                             ;
-=======
-            std::make_shared<SogKripkeTh>(d,mcl,R.getListTransitionAP(),R.getListPlaceAP());
->>>>>>> 8a83ddf40bff014aa15b8f24670733207dbbd072
+
         // Performing on the fly Modelchecking
         cout<<"Want to save the graph in a dot file ?";
                 cin>>c;