Commit 3bd23f38 authored by leberre's avatar leberre

Only putting vocabulary to null.

git-svn-id: svn+ssh://svn.forge.ow2.org/svnroot/sat4j/maven/trunk@1732 ba638df5-4473-46d1-82f8-c3ae2a17a6e1
parent f8f7b9ed
......@@ -2071,7 +2071,6 @@ public class Solver<D extends DataStructureFactory> implements ISolverService,
public void setOrder(IOrder h) {
if (this.order != null) {
this.order.setLits(null);
this.order.setPhaseSelectionStrategy(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