diff --git a/userspace/engine/indexed_vector.h b/userspace/engine/indexed_vector.h index d724087a..de3a2c55 100644 --- a/userspace/engine/indexed_vector.h +++ b/userspace/engine/indexed_vector.h @@ -19,6 +19,7 @@ limitations under the License. #include #include #include +#include /*! \brief Simple wrapper of std::vector that allows random access