X-Git-Url: http://plrg.eecs.uci.edu/git/?p=satune.git;a=blobdiff_plain;f=src%2Fcsolver.cc;h=756798b6297b510884c5fc6d2e6a93c40aa57c23;hp=7fa33f2459c2d18df7dfc43683f667c4e75b3f81;hb=52bb7ec21876cab449bbe9f14e0d28f623d46af5;hpb=3d7a27487ec88670a2815e9193c5f6580e8eb396

diff --git a/src/csolver.cc b/src/csolver.cc
index 7fa33f2..756798b 100644
--- 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;
 }