--- a/moveit-ros-benchmarks-2.5.9/src/BenchmarkExecutor.cpp
+++ b/moveit-ros-benchmarks-2.5.9/src/BenchmarkExecutor.cpp
@@ -40,11 +40,8 @@
 #include <tf2_eigen/tf2_eigen.hpp>
 
-// TODO(henningkayser): Switch to boost/timer/progress_display.hpp with Boost 1.72
-// boost/progress.hpp is deprecated and will be replaced by boost/timer/progress_display.hpp in Boost 1.72.
-// Until then we need to suppress the deprecation warning.
-#define BOOST_ALLOW_DEPRECATED_HEADERS
+// Use boost/timer/progress_display.hpp (available since Boost 1.72)
+// instead of the deprecated boost/progress.hpp
 #include <boost/regex.hpp>
-#include <boost/progress.hpp>
-#undef BOOST_ALLOW_DEPRECATED_HEADERS
+#include <boost/timer/progress_display.hpp>
 #include <boost/date_time/posix_time/posix_time.hpp>
 #include <math.h>
@@ -784,3 +781,3 @@
 
-  boost::progress_display progress(num_planners * runs, std::cout);
+  boost::timer::progress_display progress(num_planners * runs, std::cout);