Fix tabbing

[satune.git] / src / ccsolver.cc

diff --git a/src/ccsolver.cc b/src/ccsolver.cc
index 05f66a3efb3337d6b8e5621c54ae47e4bac377f2..d77352288e709f45aaed97f217891dfbeabad31a 100644 (file)
--- a/src/ccsolver.cc
+++ b/src/ccsolver.cc
@@ -54,11 +54,11 @@ void *getBooleanVar(void *solver,unsigned int type) {
        return CCSOLVER(solver)->getBooleanVar((VarType) type).getRaw();
 }
 
-void *getBooleanTrue(void *solver){
+void *getBooleanTrue(void *solver) {
        return CCSOLVER(solver)->getBooleanTrue().getRaw();
 }
 
-void *getBooleanFalse(void *solver){
+void *getBooleanFalse(void *solver) {
        return CCSOLVER(solver)->getBooleanFalse().getRaw();
 }
 
@@ -160,7 +160,7 @@ void mustHaveValue(void *solver, void *element) {
        CCSOLVER(solver)->mustHaveValue( (Element *) element);
 }
 
-void setInterpreter(void *solver, unsigned int type){
+void setInterpreter(void *solver, unsigned int type) {
        CCSOLVER(solver)->setInterpreter((InterpreterType)type);
 }