From f1018f7e3823c2997f74674a534cc3f9293d3492 Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Fri, 16 Oct 2020 09:11:41 +0200
Subject: [PATCH] Const.

---
 src/xbt/xbt_log_appender_file.cpp | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/xbt/xbt_log_appender_file.cpp b/src/xbt/xbt_log_appender_file.cpp
index 33ab714d56..577e934c80 100644
--- a/src/xbt/xbt_log_appender_file.cpp
+++ b/src/xbt/xbt_log_appender_file.cpp
@@ -75,8 +75,8 @@ static void open_append2_file(xbt_log_append2_file_t data){
     char* sep=strchr(pre,'%');
     if(!sep)
       sep=pre+strlen(pre);
-    char* post=sep+1;
-    *sep='\0';
+    const char* post    = sep + 1;
+    *sep                = '\0';
     std::string newname = pre + std::to_string(data->count) + post;
     data->count++;
     data->file = fopen(newname.c_str(), "w");
-- 
2.20.1