Commit 1bdf238a authored by Daniel Le Berre's avatar Daniel Le Berre

Solve compilation problem.

parent 7735fabd
...@@ -419,7 +419,7 @@ public class XMLCSP3Reader extends Reader implements XCallbacks2 { ...@@ -419,7 +419,7 @@ public class XMLCSP3Reader extends Reader implements XCallbacks2 {
*/ */
@Override @Override
public void buildCtrAllDifferent(String id, XVarInteger[] list) { public void buildCtrAllDifferent(String id, XVarInteger[] list) {
this.contradictionFound |= this.comparisonCtrBuilder.buildCtrAllDifferent(id, list); this.contradictionFound |= this.comparisonCtrBuilder.buildCtrAllDifferent(list);
} }
/** /**
......
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