Fix tabbing

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

diff --git a/src/Backend/constraint.h b/src/Backend/constraint.h
index bfe3e256b766729827d651fbd6058ede0c56f381..d7d2744ebd6bb1fa7fda827a1b8d90e132cf5939 100644 (file)
--- a/src/Backend/constraint.h
+++ b/src/Backend/constraint.h
@@ -48,7 +48,7 @@ struct CNF {
        uint varcount;
        uint asize;
        IncrementalSolver *solver;
-       int * array;
+       int *array;
        long long solveTime;
        long long encodeTime;
        bool unsat;
@@ -173,9 +173,9 @@ void printCNF(Edge e);
 Node *allocBaseNode(NodeType type, uint numEdges);
 Node *allocResizeNode(uint capacity);
 Edge cloneEdge(Edge e);
-void addEdgeToResizeNode(Node ** node, Edge e);
-void mergeFreeNodeToResizeNode(Node **node, Node * innode);
-void mergeNodeToResizeNode(Node **node, Node * innode);
+void addEdgeToResizeNode(Node **node, Edge e);
+void mergeFreeNodeToResizeNode(Node **node, Node *innode);
+void mergeNodeToResizeNode(Node **node, Node *innode);
 void freeEdgeRec(Edge e);
 void outputCNF(CNF *cnf, Edge cnfform);
 void outputCNFOR(CNF *cnf, Edge cnfform, Edge eorvar);