Restructure transforms a little and run make tabbing

[satune.git] / src / Backend / constraint.cc

diff --git a/src/Backend/constraint.cc b/src/Backend/constraint.cc
index 8c247cca46c51fbc5a093e9444c6862d0a3dae38..b90ec4aff6062d3b4b19f1c7f585ccb3213de289 100644 (file)
--- a/src/Backend/constraint.cc
+++ b/src/Backend/constraint.cc
@@ -333,15 +333,15 @@ Edge constraintNewVar(CNF *cnf) {
 }
 
 int solveCNF(CNF *cnf) {
-       long long startTime=getTimeNano();
+       long long startTime = getTimeNano();
        countPass(cnf);
        convertPass(cnf, false);
        finishedClauses(cnf->solver);
-       long long startSolve=getTimeNano();
+       long long startSolve = getTimeNano();
        int result = solve(cnf->solver);
-       long long finishTime=getTimeNano();
-       cnf->encodeTime=startSolve-startTime;
-       cnf->solveTime=finishTime-startSolve;
+       long long finishTime = getTimeNano();
+       cnf->encodeTime = startSolve - startTime;
+       cnf->solveTime = finishTime - startSolve;
        return result;
 }