From ae7e1cc677c476f528ac4b75a69c5cc4722ec23b Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@iut-bm.univ-fcomte.fr>
Date: Mon, 7 May 2012 14:27:54 +0200
Subject: [PATCH] Cosmetics: insert a space before dotted lines.
---
main.cpp | 4 ++--
options.cpp | 1 +
2 files changed, 3 insertions(+), 2 deletions(-)
diff --git a/main.cpp b/main.cpp
index 89e9bec..4c70534 100644
--- a/main.cpp
+++ b/main.cpp
@@ -188,12 +188,12 @@ static void install_signal_handler()
#define PR_VALUE(descr, format, ...) \
XBT_INFO("| %.*s: " format, DATA_DESCR_WIDTH, \
- descr ".................................................", \
+ descr " ................................................", \
__VA_ARGS__)
#define PR_STATS(descr, st) \
XBT_INFO("| %.*s: %g / %g / %g", DATA_DESCR_WIDTH, \
- descr " (sum/avg/dev)...................................", \
+ descr " (sum/avg/dev) ..................................", \
st.get_sum(), st.get_mean(), st.get_stddev())
int main(int argc, char* argv[])
diff --git a/options.cpp b/options.cpp
index 1275bcf..b31888f 100644
--- a/options.cpp
+++ b/options.cpp
@@ -167,6 +167,7 @@ const char* opt_helper::on_off(bool b)
const char* opt_helper::descr(const char* str)
{
descr_str = str;
+ descr_str.push_back(' ');
descr_str.resize(DATA_DESCR_WIDTH, '.');
return descr_str.c_str();
}
--
2.39.5