Fix tabbing

[satune.git] / src / csolver.cc

diff --git a/src/csolver.cc b/src/csolver.cc
index 44b29bbad3845ec86009f64a17b6b714f114b7e5..07a61688bcfb1e7ccad0bb23dfcb137854875fbf 100644 (file)
--- a/src/csolver.cc
+++ b/src/csolver.cc
@@ -184,8 +184,8 @@ Set *CSolver::createRangeSet(VarType type, uint64_t lowrange, uint64_t highrange
        return set;
 }
 
-bool CSolver::itemExistInSet(Set *set, uint64_t item){
-        return set->exists(item);
+bool CSolver::itemExistInSet(Set *set, uint64_t item) {
+       return set->exists(item);
 }
 
 VarType CSolver::getSetVarType(Set *set) {
@@ -223,7 +223,7 @@ Element *CSolver::getElementVar(Set *set) {
        return element;
 }
 
-void CSolver::mustHaveValue(Element *element){
+void CSolver::mustHaveValue(Element *element) {
        element->getElementEncoding()->anyValue = true;
 }