Use shorter abbreviation in main results.

diff --git a/main.cpp b/main.cpp
index 45c58cede87dd13f559b1a144cfc42aefa154a70..dd8b6613c5ba3eea60bdbef729e9ef3c96f37aee 100644 (file)
--- a/main.cpp
+++ b/main.cpp
@@ -187,7 +187,7 @@ static void install_signal_handler()
 
 #define PR_STATS(descr, st)                                             \
     XBT_INFO("| %.*s: %g / %g / %g", DATA_DESCR_WIDTH,                  \
 
 #define PR_STATS(descr, st)                                             \
     XBT_INFO("| %.*s: %g / %g / %g", DATA_DESCR_WIDTH,                  \

-             descr " (total/avg./stddev).............................", \
+             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[])