Bug fixes

[satune.git] / src / csolver.cc

diff --git a/src/csolver.cc b/src/csolver.cc
index 7fa33f2459c2d18df7dfc43683f667c4e75b3f81..756798b6297b510884c5fc6d2e6a93c40aa57c23 100644 (file)
--- a/src/csolver.cc
+++ b/src/csolver.cc
@@ -408,7 +408,7 @@ BooleanEdge CSolver::orderConstraint(Order *order, uint64_t first, uint64_t seco
                constraint = b;
        }
 
-       BooleanEdge be=BooleanEdge(constraint);
+       BooleanEdge be = BooleanEdge(constraint);
        return negate ? be.negate() : be;
 }