Boolean Variable Ordering optimizations

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

diff --git a/src/Test/deserializertest.cc b/src/Test/deserializertest.cc
index bbef42704798402eae2d1bb144251483098d2575..c8d35c98785bb917fa3a2edd54f9be3ed8708768 100644 (file)
--- a/src/Test/deserializertest.cc
+++ b/src/Test/deserializertest.cc
@@ -1,14 +1,14 @@
 #include "csolver.h"
 
 
-int main(int argc, char ** argv){
-       if(argc != 2){
+int main(int argc, char **argv) {
+       if (argc != 2) {
                printf("You only specify the name of the file ...");
-               exit(-1);       
+               exit(-1);
        }
-       CSolver* solver = CSolver::deserialize(argv[1]);
+       CSolver *solver = CSolver::deserialize(argv[1]);
        solver->printConstraints();
-        delete solver;
+       delete solver;
        return 1;
-               
+
 }