Skip to content

Commit d32d6dc

Browse files
authored
Add missing include.
Signed-off-by: Steffen Smolka <smolkaj@google.com>
1 parent 6271f7f commit d32d6dc

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

frontends/p4/metrics/metricsStructure.h

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -6,6 +6,7 @@ Structure definitions used by the code metric collection passes.
66
#define FRONTENDS_P4_METRICS_METRICSSTRUCTURE_H_
77

88
#include <string>
9+
#include <vector>
910

1011
#include "lib/cstring.h"
1112
#include "lib/ordered_map.h"

0 commit comments

Comments
 (0)