From 3ce8390e04369fc85458df13a3718b4bd00b94d3 Mon Sep 17 00:00:00 2001
From: Marion Guthmuller <marion.guthmuller@loria.fr>
Date: Sat, 29 Sep 2012 22:32:21 +0200
Subject: [PATCH] model-checker : cosmetics reindent

---
 src/mc/mc_checkpoint.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/mc/mc_checkpoint.c b/src/mc/mc_checkpoint.c
index 550e2cd42d..26b56fbe88 100644
--- a/src/mc/mc_checkpoint.c
+++ b/src/mc/mc_checkpoint.c
@@ -182,7 +182,7 @@ void get_plt_section(){
     if(n == 0)
       continue;
 
-     /* Wipeout the new line character */
+    /* Wipeout the new line character */
     line[read - 1] = '\0';
 
     lfields[0] = strtok(line, " ");
-- 
2.20.1