Merge pull request #7 from bluebandit21/fix/missing_cstdint_include

Add missing <cstdint> include to bdd.hpp
luigicapogrosso · Mar 26, 2024 · 52f968b · 52f968b
2 parents 53397b3 + 36d861b
commit 52f968b
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/include/bdd.hpp b/include/bdd.hpp
@@ -37,6 +37,7 @@
 #include <set>
 #include <string>
 #include <unordered_map>
+#include <cstdint>
 
 class BDD
 {