modifié : src/main.cpp

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;