From 8f61b4cae9851b4e1ab142b919d3fe231866e471 Mon Sep 17 00:00:00 2001
From: abid <chiheb.abid@gmail.com>
Date: Wed, 19 Jun 2019 16:15:51 +0100
Subject: [PATCH] =?UTF-8?q?=09modifi=C3=A9=C2=A0:=20=20=20=20=20=20=20=20?=
=?UTF-8?q?=20src/main.cpp?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
---
src/main.cpp | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/main.cpp b/src/main.cpp
index b174cec..d872d70 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;
--
GitLab