diff options
Diffstat (limited to 'tools/wrapagentproperties/wrapagentproperties.cc')
| -rw-r--r-- | tools/wrapagentproperties/wrapagentproperties.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/wrapagentproperties/wrapagentproperties.cc b/tools/wrapagentproperties/wrapagentproperties.cc index 9eaffbb240..8b4b062cf5 100644 --- a/tools/wrapagentproperties/wrapagentproperties.cc +++ b/tools/wrapagentproperties/wrapagentproperties.cc @@ -24,7 +24,7 @@ #include <unordered_map> #include <unordered_set> #include <memory> -#include <mutex> // NOLINT [build/c++11] [5] +#include <mutex> #include <sstream> #include <string> #include <vector> |