From 107759277dd182c9fc79cf072160b79d1e9d772a Mon Sep 17 00:00:00 2001 From: Steffen Smolka Date: Wed, 10 Apr 2024 08:47:08 -0700 Subject: [PATCH] Add missing include to map.h --- lib/map.h | 1 + 1 file changed, 1 insertion(+) diff --git a/lib/map.h b/lib/map.h index 0223475e9d..7128d9dbb7 100644 --- a/lib/map.h +++ b/lib/map.h @@ -17,6 +17,7 @@ limitations under the License. #ifndef LIB_MAP_H_ #define LIB_MAP_H_ +#include #include /// Given a map and a key, return the value corresponding to the key in the map,