Fix tabbing

[satune.git] / src / Tuner / autotuner.cc

diff --git a/src/Tuner/autotuner.cc b/src/Tuner/autotuner.cc
index 29c3289ec2d371f71f9e47f0ea2745e8ee71e023..d31a72f1e024733dc03d801ba221a59cc0fd46c2 100644 (file)
--- a/src/Tuner/autotuner.cc
+++ b/src/Tuner/autotuner.cc
@@ -21,7 +21,7 @@ int solve(CSolver *solver)
        try{
                return solver->solve();
        }
-       catch(std::runtime_error& e) {
+       catch (std::runtime_error &e) {
                return UNSETVALUE;
        }
 }
@@ -33,16 +33,16 @@ int solveWrapper(CSolver *solver)
        int retValue;
 
        std::thread t([&cv, &retValue, solver]()
-       {
-               retValue = solve(solver);
-               cv.notify_one();
-       });
+               {
+                                                               retValue = solve(solver);
+                                                               cv.notify_one();
+               });
 
        t.detach();
 
        {
                std::unique_lock<std::mutex> l(m);
-               if(cv.wait_for(l, TIMEOUT) == std::cv_status::timeout)
+               if (cv.wait_for(l, TIMEOUT) == std::cv_status::timeout)
                        throw std::runtime_error("Timeout");
        }
 
@@ -73,11 +73,11 @@ long long AutoTuner::evaluate(CSolver *problem, SearchTuner *tuner) {
                }
                metric = copy->getElapsedTime();
        }
-       catch(std::runtime_error& e) {
+       catch (std::runtime_error &e) {
                metric = POSINFINITY;
                model_print("TimeOut has hit\n");
        }
-       
+
        delete copy;
        return metric;
 }