fix tabbing

[satune.git] / src / csolver.cc

diff --git a/src/csolver.cc b/src/csolver.cc
index a8ffc492c156064cb6fdb693b7084b76c737d478..51f094334d0086c1d99fe3e9fa7cff5b547acf6e 100644 (file)
--- a/src/csolver.cc
+++ b/src/csolver.cc
@@ -625,10 +625,10 @@ int CSolver::solve() {
 
        VarOrderingOpt bor(this, satEncoder);
        bor.doTransform();
-       
+
        time2 = getTimeNano();
        model_print("Encoding Graph Time: %f\n", (time2 - time1) / NANOSEC);
-       
+
        satEncoder->encodeAllSATEncoder(this);
        time1 = getTimeNano();