tabbing more tuners

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

diff --git a/src/Backend/constraint.cc b/src/Backend/constraint.cc
old mode 100755 (executable)
new mode 100644 (file)
index d69e194..f92c223
--- a/src/Backend/constraint.cc
+++ b/src/Backend/constraint.cc
@@ -201,8 +201,8 @@ Edge constraintOR(CNF *cnf, uint numEdges, Edge *edges) {
                Edge eand = constraintAND(cnf, numEdges, edgearray);
                return constraintNegate(eand);
        } else {
-               Edge * edgearray=(Edge *)ourmalloc(numEdges*sizeof(Edge));
-               
+               Edge *edgearray = (Edge *)ourmalloc(numEdges * sizeof(Edge));
+
                for (uint i = 0; i < numEdges; i++) {
                        edgearray[i] = constraintNegate(edges[i]);
                }