From 9a8e6664cdc850aebbd68a6a7cb02e8e13a71ff8 Mon Sep 17 00:00:00 2001 From: Merry38 Date: Wed, 26 Jun 2013 17:52:56 +0200 Subject: [PATCH] Cambio sbra numerazione --- src/main.cpp | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/main.cpp b/src/main.cpp index 8ba1902..4335a49 100755 --- a/src/main.cpp +++ b/src/main.cpp @@ -78,10 +78,11 @@ int main(int argc, char *argv[]) // // p.prefSAT(&framework, &C_set1); p.pref( &framework, framework.get_arguments() ); + int n = 1; for (Preferred::iterator it = p.begin(); it != p.end(); it++) { - cout << "First extension " << endl; + cout << "Extension " << n++ << endl; for (SetArgumentsIterator itarg = (*it).inargs()->begin(); itarg != (*it).inargs()->end(); itarg++) {