Adding Support for BooleanVar

[satune.git] / src / ccsolver.cc

diff --git a/src/ccsolver.cc b/src/ccsolver.cc
index 69d002ef9714433ba6ceed59cc7041fa45e92d87..e5958ed5cc89aa8ca5641d0307fd255d3dc90624 100644 (file)
--- a/src/ccsolver.cc
+++ b/src/ccsolver.cc
@@ -145,8 +145,8 @@ void mustHaveValue(void *solver, void *element) {
        CCSOLVER(solver)->mustHaveValue( (Element *) element);
 }
 
-void setAlloyEncode(void *solver){
-       CCSOLVER(solver)->setAlloyEncode();
+void setAlloyEncoder(void *solver){
+       CCSOLVER(solver)->setAlloyEncoder();
 }
 
 void *clone(void *solver) {