Breaking Multituner into comptuner and kmeanstuner

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

diff --git a/src/Test/ccsolvertest.c b/src/Test/ccsolvertest.c
index ab2c1abb394a5595d9e4e6918ac0081eba977f60..41f2f2d337ffe1bdaaef6b53925247d430b3d80d 100644 (file)
--- a/src/Test/ccsolvertest.c
+++ b/src/Test/ccsolvertest.c
@@ -20,5 +20,6 @@ int main (int num, char** args){
         else
                 printf("UNSAT\n");
         deleteCCSolver(solver);
+       return 0;
 }