diff --git a/src/main.cpp b/src/main.cpp
index b174cec9fbef1e977ed2e77d763a77e06dc3c5cd..d872d70135c318b04449a7e2c3aa19f9485d4091 100644
--- a/src/main.cpp
+++ b/src/main.cpp
@@ -157,7 +157,7 @@ int main(int argc, char** argv)
         mcl->loadNet();        
         auto k =
             std::make_shared<SogKripkeTh>(d,mcl,R.getListTransitionAP(),R.getListPlaceAP());
-                            cout<<"Want to save the graph in a dot file ?";
+        /*     cout<<"Want to save the graph in a dot file ?";
                 cin>>c;
                 if (c=='y')
                 {
@@ -167,7 +167,7 @@ int main(int argc, char** argv)
                     file.open(st.c_str(),fstream::out);
                     spot::print_dot(file, k,"ka");
                     file.close();
-                }                               ;
+                }     */                          ;
         // Performing on the fly Modelchecking
         cout<<"Performing on the fly Modelchecking"<<endl;