X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=blobdiff_plain;f=src%2Fccsolver.cc;h=7acd00f4f4eb00ac48c9163e36527d6ea03b078b;hp=f9ebdbbfe8d2beae9557423d4847497d70150107;hb=e9ca288c7f0cf0f3bb9508c3cc9b212f557bcc40;hpb=19c299fd9e91386883e788f445d153abfe58430a

diff --git a/src/ccsolver.cc b/src/ccsolver.cc
index f9ebdbb..7acd00f 100644
--- a/src/ccsolver.cc
+++ b/src/ccsolver.cc
@@ -145,6 +145,10 @@ void mustHaveValue(void *solver, void *element) {
 	CCSOLVER(solver)->mustHaveValue( (Element *) element);
 }
 
+void setInterpreter(void *solver, unsigned int type){
+	CCSOLVER(solver)->setInterpreter((InterpreterType)type);
+}
+
 void *clone(void *solver) {
 	return CCSOLVER(solver)->clone();
 }
\ No newline at end of file