deactivate change induced by re7d52b71aae7 in logging for smpi which caused problems...

diff --git a/src/xbt/xbt_log_appender_file.c b/src/xbt/xbt_log_appender_file.c
index 8869cc2..3c74fc7 100644 (file)
--- a/src/xbt/xbt_log_appender_file.c
+++ b/src/xbt/xbt_log_appender_file.c
@@ -15,9 +15,7 @@ static void append_file(xbt_log_appender_t this_, char *str) {
 }
 
 static void smpi_append_file(xbt_log_appender_t this_, char *str) {
-  smpi_bench_end();
   fputs(str, (FILE *) this_->data);
-  smpi_bench_begin();
 }
 
 static void free_(xbt_log_appender_t this_) {