X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=main.cc;h=19f12f182494685d718a963b23ee01d3ef3ffcb0;hb=2db2ef3b8bdabacc7784fd5a4e7e7520f1cd2298;hp=a400fe3c2defff0eafc93e812b005f6b2b6fcf69;hpb=42e6cb1c90b72167be32e0201558019d47faa7f2;p=model-checker.git

diff --git a/main.cc b/main.cc
index a400fe3..19f12f1 100644
--- 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();