Change dependences

[satune.git] / src / csolver.h

diff --git a/src/csolver.h b/src/csolver.h
index 52f1c98eb13a1d2ea2ede74a2c075622715c42b4..0f49dcde8d15af60890146a0d796a0bfbe5ee682 100644 (file)
--- a/src/csolver.h
+++ b/src/csolver.h
@@ -1,8 +1,8 @@
 #ifndef CSOLVER_H
 #define CSOLVER_H
-#include "classlist.h"
+#include "classes.h"
 #include "ops.h"
-#include "structs.h"
+#include "corestructs.h"
 #include "asthash.h"
 
 class CSolver {
@@ -129,7 +129,7 @@ public:
        long long getEncodeTime();
        long long getSolveTime();
        
-       MEMALLOC;
+       CMEMALLOC;
 
 private:
        void handleXORFalse(BooleanLogic *bexpr, Boolean *child);