Commit f7f7db28 authored by Lonca Emmanuel's avatar Lonca Emmanuel

Fixed "CtrNotAllEqual".

parent ccb9a65d
......@@ -248,7 +248,7 @@ public class CountingCtrBuilder {
}
public boolean buildCtrNotAllEqual(String id, XVarInteger[] list) {
return buildCtrNValues(id, list, new StringCondition("ne(", ","+Integer.toString(list.length)+")"));
return buildCtrNValues(id, list, new StringCondition("ne(", ",1)"));
}
public boolean buildCtrCardinality(String id, XVarInteger[] list, boolean closed, int[] values, XVarInteger[] occurs) {
......
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