diff options
Diffstat (limited to 'src/profiling/CounterIdMap.hpp')
-rw-r--r-- | src/profiling/CounterIdMap.hpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/profiling/CounterIdMap.hpp b/src/profiling/CounterIdMap.hpp index 38955943aa..cce7184c46 100644 --- a/src/profiling/CounterIdMap.hpp +++ b/src/profiling/CounterIdMap.hpp @@ -5,6 +5,7 @@ #pragma once #include <map> +#include <string> namespace arm { |