From 49dc6de563efddf5c47c4315445358a4da39a819 Mon Sep 17 00:00:00 2001
From: abid <chiheb.abid@gmail.com>
Date: Mon, 17 Feb 2020 12:01:44 +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 | 7 -------
1 file changed, 7 deletions(-)
diff --git a/src/main.cpp b/src/main.cpp
index b30b2cc..577dbce 100644
--- a/src/main.cpp
+++ b/src/main.cpp
@@ -36,9 +36,6 @@
using namespace std;
#define MASTER 0
-int Formula_transitions(const char * f, Set_mot& formula_trans, NewNet Rv) ;
-//int nb_th;
-
unsigned int nb_th;
int n_tasks, task_id;
spot::formula not_f;
@@ -85,10 +82,6 @@ set<string> buildPropositions(const string &fileName)
int main(int argc, char** argv)
{
int choix;
- /*string input=read_formula(argv[4]);
-
- exit(0);*/
-
if(argc<3)
return 0;
char formula[100]="";
--
GitLab