fixes #273

NASA-SW-VnV · Aug 22, 2024 · d0e00d4 · d0e00d4
1 parent 799c2b0
commit d0e00d4
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -1,6 +1,7 @@
 build/
 install/
 !doc/install/
+/.vscode/
 
 # Editors
 *.swp

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>