sci-mathematics/btor2tools/files/btor2tools-1.0.0_pre20220518-btorsplit-cstdint.patch


1
2
3
4
5
6
7
8
9
10

--- a/src/btorsplit.cpp
+++ b/src/btorsplit.cpp
@@ -19,6 +19,7 @@
 #include <sstream>
 #include <unordered_set>
 #include <vector>
+#include <cstdint>
 
 /*--------------------------------------------------------------------------*/