Adding Support for BooleanVar

[satune.git] / src / Test / deserializealloytest.cc

diff --git a/src/Test/deserializealloytest.cc b/src/Test/deserializealloytest.cc
index 2d6cc25ef3040ea28ebbb163e6271a0c9fd23578..d607621358bd0d814be54fead7f15cad23ffd224 100644 (file)
--- a/src/Test/deserializealloytest.cc
+++ b/src/Test/deserializealloytest.cc
@@ -10,7 +10,7 @@ int main(int argc, char **argv) {
        }
        CSolver *solver = CSolver::deserialize(argv[1]);
        if(argc == 3)
-               solver->setAlloyEncode();
+               solver->setAlloyEncoder();
        int value = solver->solve();
        if (value == 1) {
                printf("%s is SAT\n", argv[1]);