X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=src%2Fcsolver.cc;h=fd4464686ad8afbe99b268a078d97f786ff49835;hb=917bc08fb2d0ea78f6492323d52a4465b517809a;hp=14f902b85e846c5f7c6e0a7e1bc76eb03705a9a3;hpb=3267d387309bb4d2aa130a940f386b419652a956;p=satune.git

diff --git a/src/csolver.cc b/src/csolver.cc
index 14f902b..fd44646 100644
--- 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);
 	}
 }