From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Mon, 25 Jun 2012 05:57:20 +0000 (+0200)
Subject: model-checker : cosmetics reindent
X-Git-Tag: v3_8~467
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/16b355b54e4835a696afb1609159de9108714536?ds=sidebyside

model-checker : cosmetics reindent
---

diff --git a/examples/msg/mc/centralized_liveness.c b/examples/msg/mc/centralized_liveness.c
index 238dd45665..3bf3138fac 100644
--- a/examples/msg/mc/centralized_liveness.c
+++ b/examples/msg/mc/centralized_liveness.c
@@ -32,7 +32,7 @@ int coordinator(int argc, char *argv[])
       char *req = MSG_task_get_data(task);
       if (CS_used) { 
         XBT_INFO("CS already used.");
-  m_task_t answer = MSG_task_create("not grant", 0, 1000, NULL);
+        m_task_t answer = MSG_task_create("not grant", 0, 1000, NULL);
         MSG_task_send(answer, req);
       } else {                  // can serve it immediatly
         XBT_INFO("CS idle. Grant immediatly");
@@ -72,15 +72,15 @@ int client(int argc, char *argv[])
       XBT_INFO("Client (%s) got the answer (grant). Sleep a bit and release it", my_mailbox);
 
       if(!strcmp(my_mailbox, "1"))
-  cs = 1;
+        cs = 1;
 
       /*MSG_process_sleep(my_pid);
-      MSG_task_send(MSG_task_create("release", 0, 1000, NULL),
+        MSG_task_send(MSG_task_create("release", 0, 1000, NULL),
         "coordinator");
         XBT_INFO("Client (%s) releases the CS", my_mailbox);
       
-      if(!strcmp(my_mailbox, "1"))
-  cs = 0;*/
+        if(!strcmp(my_mailbox, "1"))
+        cs = 0;*/
       
     }else{