diff --git a/src/common/Random.h b/src/common/Random.h
index 2d040993f..d903a8ef6 100644
--- 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
index 5e283ee5c..62faba0b6 100644
--- 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
index 984a9200f..b6d94c8c9 100644
--- 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
index bd3c331ee..4784cebe6 100644
--- 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>