Fix tabbing

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

diff --git a/src/Backend/constraint.cc b/src/Backend/constraint.cc
index 919d7f4e7165b3a9b6a1a6a2e18cdd4def1838da..98036a7997049100fb7a4eea058a413caab66384 100644 (file)
--- a/src/Backend/constraint.cc
+++ b/src/Backend/constraint.cc
@@ -573,7 +573,7 @@ Edge simplifyCNF(CNF *cnf, Edge input) {
        }
 }
 
-void addClause(CNF *cnf, uint numliterals, int *literals){
+void addClause(CNF *cnf, uint numliterals, int *literals) {
        cnf->clausecount++;
        addArrayClauseLiteral(cnf->solver, numliterals, literals);
 }