diff --git a/src/SogKripkeTh.cpp b/src/SogKripkeTh.cpp
index 0e5f86d8b685cb91688e6bc79166b462147b22f3..f0dbf22d2a93d0894fa132a80abc27d1a51a7bef 100644
--- a/src/SogKripkeTh.cpp
+++ b/src/SogKripkeTh.cpp
@@ -15,7 +15,7 @@ SogKripkeTh::SogKripkeTh(const bdd_dict_ptr &dict_ptr,ModelCheckerTh *builder):
     SogKripkeIteratorTh::m_builder=builder;
     SogKripkeStateTh::m_builder=builder;
     SogKripkeIteratorTh::m_dict_ptr=&dict_ptr;
-    //cout<<__func__<<endl;
+    
 }
 
 SogKripkeTh::SogKripkeTh(const spot::bdd_dict_ptr& dict_ptr,ModelCheckerTh *builder,set<string> &l_transap,set<string> &l_placeap):SogKripkeTh(dict_ptr,builder) {
diff --git a/src/main.cpp b/src/main.cpp
index 36431c775882944dd6c102612f03ab477e126ede..0e11bdfec30d92ab5f82ba0e95580258ed943e51 100644
--- a/src/main.cpp
+++ b/src/main.cpp
@@ -362,7 +362,6 @@ int main(int argc, char** argv)
         {
             //cout<<" sequential version using Sylvan : 1 with BuDDy : 2 \n" <<endl;
             cout<<"*************Distibuted version******************* \n" <<endl;
-
             {
                 DistributedSOG DR(R, bound);
                 LDDGraph g(nullptr);