Commit f28b10e7 authored by leberre's avatar leberre

Reverted changes to method setOrder().

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1734 ba638df5-4473-46d1-82f8-c3ae2a17a6e1
parent 67425abc
......@@ -2069,9 +2069,6 @@ public class Solver<D extends DataStructureFactory> implements ISolverService,
* @see org.sat4j.minisat.core.ICDCL#setOrder(org.sat4j.minisat.core.IOrder)
*/
public void setOrder(IOrder h) {
if (this.order != null) {
this.order.setLits(null);
}
this.order = h;
this.order.setLits(this.voc);
}
......
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