blob: ffbc4781578757f68e5e7c2d19fe1923d2640912 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
--- 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>
|
