renaming alloyenc to alloy interpreter

[satune.git] / src / csolver.cc

diff --git a/src/csolver.cc b/src/csolver.cc
index 14f902b85e846c5f7c6e0a7e1bc76eb03705a9a3..fd4464686ad8afbe99b268a078d97f786ff49835 100644 (file)
--- a/src/csolver.cc
+++ b/src/csolver.cc
@@ -29,7 +29,7 @@
 #include "varorderingopt.h"
 #include <time.h>
 #include <stdarg.h>
-#include "alloyenc.h"
+#include "alloyinterpreter.h"
 
 CSolver::CSolver() :
        boolTrue(BooleanEdge(new BooleanConst(true))),
@@ -681,7 +681,7 @@ int CSolver::solve() {
 
 void CSolver::setAlloyEncoder(){
        if(interpreter == NULL){
-               interpreter = new AlloyEnc(this);
+               interpreter = new AlloyInterpreter(this);
        }
 }