remove EOL spaces, fix indentation

[model-checker.git] / main.cc

diff --git a/main.cc b/main.cc
index a400fe3c2defff0eafc93e812b005f6b2b6fcf69..19f12f182494685d718a963b23ee01d3ef3ffcb0 100644 (file)
--- a/main.cc
+++ b/main.cc
@@ -56,8 +56,9 @@ static void thread_wait_finish(void) {
 void real_main() {
        thrd_t user_thread;
        ucontext_t main_context;
-  //Initialize race detector
-  initRaceDetector();
+
+       //Initialize race detector
+       initRaceDetector();
 
        //Create the singleton SnapshotStack object
        snapshotObject = new SnapshotStack();