Adding the python wrapper for the constraint solver

[satune.git] / src / Test / ccsolvertest.c

diff --git a/src/Test/ccsolvertest.c b/src/Test/ccsolvertest.c
index 3bcb3c6753abe751dbd32d4049f9a08c73585f70..bdb8898f05267e0f1651417c1eb92d970aa72f86 100644 (file)
--- a/src/Test/ccsolvertest.c
+++ b/src/Test/ccsolvertest.c
@@ -4,7 +4,7 @@
 #define SATC_EQUALS 0
 
 int main (int num, char** args){
-       void* solver = CreateCCSolver();
+       void* solver = createCCSolver();
        long set1[] = {0, 1, 2};
         long set2[] = {3, 1, 7};
         void *s1 = createSet(solver,0, set1, 3);