Cambio sbra numerazione

MORZorg · Jun 26, 2013 · 9a8e666 · 9a8e666
1 parent a17097e
commit 9a8e666
Showing 1 changed file with 2 additions and 1 deletion.
diff --git 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++)
 		{