model-checker : cosmetics reindent

diff --git a/src/mc/mc_checkpoint.c b/src/mc/mc_checkpoint.c
index 550e2cd..26b56fb 100644 (file)
--- a/src/mc/mc_checkpoint.c
+++ b/src/mc/mc_checkpoint.c
@@ -182,7 +182,7 @@ void get_plt_section(){
     if(n == 0)
       continue;
 
     if(n == 0)
       continue;
 

-     /* Wipeout the new line character */
+    /* Wipeout the new line character */

     line[read - 1] = '\0';
 
     lfields[0] = strtok(line, " ");
     line[read - 1] = '\0';
 
     lfields[0] = strtok(line, " ");