nojhan/paradiseo
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

debug erreur reconnu par le compilateur de Visual Studio

Browse source 
git-svn-id: svn://scm.gforge.inria.fr/svnroot/paradiseo@1860 331e1502-861f-0410-8da2-ba01fb791d7f
This commit is contained in:
jhumeau 2010-06-21 15:29:13 +00:00
commit 7b8b687bd4
4 changed files with 7 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

4
trunk/problems/eval/maxSATeval.h
View file

@ -60,7 +60,9 @@ public:
// the variables are numbered from 1 to nbVar
variables = new vector<int>[nbVar + 1];
int var[nbVar];
//int var[nbVar];
std::vector<int> var;
var.resize(nbVar);
unsigned i, j, ind;
// to selected nbLitteral different variables in the clauses