X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=blobdiff_plain;f=src%2Fccsolver.h;h=b10fa71681fc2bad67fd63fe6c6fce9e146b1398;hp=2051cc91b9126e2e8b8ccfbdd61c6cb9eca46df0;hb=88522b82efee075d4dbaf75e82231a399bcbb41c;hpb=e9ca288c7f0cf0f3bb9508c3cc9b212f557bcc40

diff --git a/src/ccsolver.h b/src/ccsolver.h
index 2051cc9..b10fa71 100644
--- a/src/ccsolver.h
+++ b/src/ccsolver.h
@@ -41,7 +41,7 @@ int getOrderConstraintValue(void *solver,void *order, long first, long second);
 void printConstraints(void *solver);
 void serialize(void *solver);
 void mustHaveValue(void *solver, void *element);
-void setAlloyEncoder(void *solver);
+void setInterpreter(void *solver, unsigned int type);
 void *clone(void *solver);
 #ifdef __cplusplus
 }