From 36d861bb58537eb5275af86389b2a0efbb0d592c Mon Sep 17 00:00:00 2001
From: Andrew Plotner <bluebandit21@gmail.com>
Date: Mon, 25 Mar 2024 16:59:07 -0400
Subject: [PATCH] Add missing <cstdint> include to bdd.hpp :)

---
 include/bdd.hpp | 1 +
 1 file changed, 1 insertion(+)

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
 {