X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=blobdiff_plain;f=src%2FTest%2Fdeserializersolveprintopt.cc;h=d5f5c2e3bace826873a3e57e4e24809bc43a8eeb;hp=0c707ce8c2577f063d609e203664fe96df90d032;hb=cbd921ee35b6a29934fd7cecccde7f160228af17;hpb=37c1d6b2727508d8af302bdf85ef1f47a5e5d6da

diff --git a/src/Test/deserializersolveprintopt.cc b/src/Test/deserializersolveprintopt.cc
index 0c707ce..d5f5c2e 100644
--- a/src/Test/deserializersolveprintopt.cc
+++ b/src/Test/deserializersolveprintopt.cc
@@ -8,13 +8,13 @@ int main(int argc, char **argv) {
 	}
 	for (int i = 1; i < argc; i++) {
 		CSolver *solver = CSolver::deserialize(argv[i]);
+		solver->printConstraints();
 		int value = solver->solve();
 		if (value == 1) {
 			printf("%s is SAT\n", argv[i]);
 		} else {
 			printf("%s is UNSAT\n", argv[i]);
 		}
-		solver->printConstraints();
 
 		delete solver;
 	}