diff --git a/include/bdd.hpp b/include/bdd.hpp
index 0111f99..dbe492f 100644
--- a/include/bdd.hpp
+++ b/include/bdd.hpp
@@ -37,6 +37,7 @@
 #include <set>
 #include <string>
 #include <unordered_map>
+#include <cstdint>
 
 class BDD
 {