diff options
Diffstat (limited to 'vector.patch')
-rw-r--r-- | vector.patch | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/vector.patch b/vector.patch new file mode 100644 index 000000000000..b3630fc6dea6 --- /dev/null +++ b/vector.patch @@ -0,0 +1,11 @@ +diff -aur ros_comm-release-release-indigo-rosconsole-1.11.19-0.pristine/include/ros/console.h ros_comm-release-release-indigo-rosconsole-1.11.19-0.new/include/ros/console.h +--- ros_comm-release-release-indigo-rosconsole-1.11.19-0.pristine/include/ros/console.h 2016-04-19 19:12:10.000000000 +0200 ++++ ros_comm-release-release-indigo-rosconsole-1.11.19-0.new/include/ros/console.h 2016-11-23 23:15:58.476704215 +0100 +@@ -40,6 +40,7 @@ + #include <cstdarg> + #include <ros/macros.h> + #include <map> ++#include <vector> + + #ifdef ROSCONSOLE_BACKEND_LOG4CXX + #include "log4cxx/level.h" |