X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=src%2Fccsolver.cc;h=7acd00f4f4eb00ac48c9163e36527d6ea03b078b;hb=4c58af641a877bb6d65769994c8fd57ecedbd22c;hp=e5958ed5cc89aa8ca5641d0307fd255d3dc90624;hpb=917bc08fb2d0ea78f6492323d52a4465b517809a;p=satune.git

diff --git a/src/ccsolver.cc b/src/ccsolver.cc
index e5958ed..7acd00f 100644
--- a/src/ccsolver.cc
+++ b/src/ccsolver.cc
@@ -145,8 +145,8 @@ void mustHaveValue(void *solver, void *element) {
 	CCSOLVER(solver)->mustHaveValue( (Element *) element);
 }
 
-void setAlloyEncoder(void *solver){
-	CCSOLVER(solver)->setAlloyEncoder();
+void setInterpreter(void *solver, unsigned int type){
+	CCSOLVER(solver)->setInterpreter((InterpreterType)type);
 }
 
 void *clone(void *solver) {