Cosmetics: insert a space before dotted lines.

diff --git a/main.cpp b/main.cpp
index 89e9becf3bd4c33f6d0081729c95ec368240cbab..4c70534b534c52b0bd61bb29bbca51ef3e9577c4 100644 (file)
--- 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,                       \
 
 #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,                  \
              __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[])
              st.get_sum(), st.get_mean(), st.get_stddev())
 
 int main(int argc, char* argv[])

diff --git a/options.cpp b/options.cpp
index 1275bcf20b0b9b0acdcc81c84c4e3b3af4b46b9f..b31888f90f13b0b2b96e99c12687ffdbfae923e0 100644 (file)
--- 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;
 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();
 }
     descr_str.resize(DATA_DESCR_WIDTH, '.');
     return descr_str.c_str();
 }