--- a/moveit-ros-benchmarks-2.5.9/src/BenchmarkExecutor.cpp
+++ b/moveit-ros-benchmarks-2.5.9/src/BenchmarkExecutor.cpp
@@ -39,12 +39,11 @@
 
 #include <moveit/utils/moveit_error_code.h>
 
-// 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.
+// 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>
-
+#include <boost/timer/progress_display.hpp>
 #include <boost/date_time/posix_time/posix_time.hpp>
 #include <boost/math/constants/constants.hpp>