diff --git a/src/common/deleter.h b/src/common/deleter.h index 442aa56ed6d..d2272cace4b 100644 --- a/src/common/deleter.h +++ b/src/common/deleter.h @@ -25,6 +25,7 @@ #include #include #include +#include /// \addtogroup memory-module /// @{