OOP representation of Transforms

[satune.git] / src / csolver.cc

diff --git a/src/csolver.cc b/src/csolver.cc
index d825df5e4c2a8d12192ec1fb5da68fe60eac06cc..814a140a1499189a8a387db86822a5be53bb02d2 100644 (file)
--- a/src/csolver.cc
+++ b/src/csolver.cc
@@ -11,7 +11,7 @@
 #include "sattranslator.h"
 #include "tunable.h"
 #include "polarityassignment.h"
-#include "orderdecompose.h"
+#include "analyzer.h"
 
 CSolver::CSolver() : unsat(false) {
        tuner = new Tuner();