Commit 66e314e4 authored by leberre's avatar leberre
Browse files

Fixes calls new new Integer(int)

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1701 ba638df5-4473-46d1-82f8-c3ae2a17a6e1
parent 031c4338
......@@ -135,8 +135,8 @@ public class Product extends EncodingStrategyAdapter {
}
}
hash = recompositionBase10DepuisBaseP(aWithoutD[i][d], p);
if (!hashTupleSetTable[d].contains(new Integer(hash))) {
hashTupleSetTable[d].add(new Integer(hash));
if (!hashTupleSetTable[d].contains(hash)) {
hashTupleSetTable[d].add(hash);
varId = solver.nextFreeVarId(true);
ady[d].put(hash, varId);
adxd[d].push(varId);
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment