removing true nodes from the OrderGraph

[satune.git] / src / csolver.c

diff --git a/src/csolver.c b/src/csolver.c
index fbc86914af04d8f6439ced323c4e0769811da14e..e9c9526e14d9861273c9793fda12f2d3e26a5756 100644 (file)
--- a/src/csolver.c
+++ b/src/csolver.c
@@ -24,8 +24,8 @@ CSolver *allocCSolver() {
        This->allTables = allocDefVectorTable();
        This->allOrders = allocDefVectorOrder();
        This->allFunctions = allocDefVectorFunction();
-       This->satEncoder = allocSATEncoder();
        This->tuner = allocTuner();
+       This->satEncoder = allocSATEncoder(This);
        return This;
 }