analyzer: Add missing include. Refs NASA-SW-VnV#273.

This commit adds a missing include that leads to an error in newer versions of clang.
ivanperez-keera · Aug 29, 2024 · 62619f7 · 62619f7
1 parent 086395b
commit 62619f7
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/analyzer/include/ikos/analyzer/analysis/liveness.hpp b/analyzer/include/ikos/analyzer/analysis/liveness.hpp
@@ -47,6 +47,7 @@
 
 #include <iosfwd>
 #include <vector>
+#include <cstdint> // Fix suggested by ivanperez-keera here https://github.com/NASA-SW-VnV/ikos/issues/273
 
 #include <boost/optional.hpp>