tools/lib: fixed missing header

Signed-off-by: Vitaly Chipounov <[email protected]>
S2E · Dec 9, 2023 · 1655af7 · 1655af7
1 parent 9805432
commit 1655af7
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/tools/lib/Utils/BasicBlockListParser.h b/tools/lib/Utils/BasicBlockListParser.h
@@ -26,6 +26,7 @@
 
 #include <set>
 #include <string>
+#include <inttypes.h>
 
 namespace s2etools {