Included cassert in standalone headers

usi-verification-and-security · Jan 7, 2025 · fd395e6 · fd395e6
1 parent 6e3362d
commit fd395e6
Show file tree

Hide file tree

Showing 4 changed files with 7 additions and 0 deletions.
diff --git a/src/common/Random.h b/src/common/Random.h
@@ -8,6 +8,8 @@
 #ifndef OPENSMT_RANDOM_H
 #define OPENSMT_RANDOM_H
 
+#include <cassert>
+
 namespace opensmt {
 // Returns a random float 0 <= x < 1. Seed must never be 0.
 static inline double drand(double & seed) {

diff --git a/src/common/ScopedVector.h b/src/common/ScopedVector.h
@@ -8,6 +8,7 @@
 #ifndef OPENSMT_SCOPEDVECTOR_H
 #define OPENSMT_SCOPEDVECTOR_H
 
+#include <cassert>
 #include <vector>
 
 namespace opensmt {

diff --git a/src/common/SplayTree.h b/src/common/SplayTree.h
@@ -35,6 +35,8 @@ stored and the comparison function C
 #ifndef SPLAY_TREE_H
 #define SPLAY_TREE_H
 
+#include <cassert>
+
 template <class T, class C >
 class SplayTree
 {

diff --git a/src/common/numbers/NumberUtils.h b/src/common/numbers/NumberUtils.h
@@ -8,6 +8,8 @@
 #ifndef OPENSMT_NUMBERUTILS_H
 #define OPENSMT_NUMBERUTILS_H
 
+#include <cassert>
+
 #include <gmp.h>
 #include <gmpxx.h>