From bc589f45cd25220fb85a345ffc64794bdd7a39bf Mon Sep 17 00:00:00 2001
From: Richard Roberts <richard.jw.roberts@gmail.com>
Date: Mon, 8 Oct 2012 22:40:42 +0000
Subject: [PATCH] Print spaces in place of _'s in timing outline

---
 gtsam/base/timing.cpp | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/gtsam/base/timing.cpp b/gtsam/base/timing.cpp
index 024a68788..4a75dcd1d 100644
--- a/gtsam/base/timing.cpp
+++ b/gtsam/base/timing.cpp
@@ -23,6 +23,7 @@
 #include <stdlib.h>
 #include <boost/foreach.hpp>
 #include <boost/format.hpp>
+#include <boost/algorithm/string.hpp>
 
 #include <gtsam/base/debug.h>
 #include <gtsam/base/timing.h>
@@ -72,7 +73,9 @@ size_t TimingOutline::time() const {
 
 /* ************************************************************************* */
 void TimingOutline::print(const std::string& outline) const {
-  std::cout << outline << "-" << label_ << ": " << double(t_)/1000000.0 << " (" <<
+  std::string formattedLabel = label_;
+  boost::replace_all(formattedLabel, "_", " ");
+  std::cout << outline << "-" << formattedLabel << ": " << double(t_)/1000000.0 << " (" <<
       n_ << " times, " << double(time())/1000000.0 << " children, min: " << double(tMin_)/1000000.0 <<
       " max: " << double(tMax_)/1000000.0 << ")\n";
   // Order children