X-Git-Url: http://plrg.eecs.uci.edu/git/?p=model-checker.git;a=blobdiff_plain;f=main.cc;h=73b3b0c410d95fbdbd06190eadd35b25b1288e77;hp=cbf93b67fce125aef65f9e90801c295633d8c46a;hb=123c66e0c1b0f58aae2916cc22b2100143a2ceb4;hpb=4fcf3cc74b221f589fb65e3bb8aa76341d0203ec

diff --git a/main.cc b/main.cc
index cbf93b6..73b3b0c 100644
--- a/main.cc
+++ b/main.cc
@@ -70,7 +70,6 @@ static void real_main() {
 	model->set_system_context(&main_context);
 
 	snapshotObject->snapshotStep(0);
-
 	do {
 		/* Start user program */
 		model->add_thread(new Thread(&user_thread, (void (*)(void *)) &user_main, NULL));