fix build error when microbenchmarking is enabled (#729)

jaja360 · web-flow · commit afdce150366f · 2025-08-29T20:31:21.000-04:00
diff --git a/microbenchmarks/synthetic_bench.cpp b/microbenchmarks/synthetic_bench.cpp
@@ -1,6 +1,7 @@
 #include <benchmark/benchmark.h>
 #include <random>
 #include <set>
+#include <array>
 
 #include "performancecounters/event_counter.h"
 #include "roaring/roaring64.h"
