6 files changed, 9 insertions, 0 deletions
diff --git a/include/Support/Annotation.h b/include/Support/Annotation.h
index d9c02db832..8dbad760d7 100644
--- a/include/Support/Annotation.h
+++ b/include/Support/Annotation.h
@@ -16,6 +16,7 @@
 #define SUPPORT_ANNOTATION_H
 
 #include <string>
+#include <assert.h>
 class AnnotationID;
 class Annotation;
 class Annotable;
diff --git a/include/Support/BitSetVector.h b/include/Support/BitSetVector.h
index e52ca17c6b..6ce56be4d0 100644
--- a/include/Support/BitSetVector.h
+++ b/include/Support/BitSetVector.h
@@ -31,6 +31,7 @@
 #include <functional>
 #include <iostream>
 
+#include <assert.h>
 
 #define WORDSIZE (32U)
 
diff --git a/include/Support/CommandLine.h b/include/Support/CommandLine.h
index aafef95f56..b524c977f7 100644
--- a/include/Support/CommandLine.h
+++ b/include/Support/CommandLine.h
@@ -19,6 +19,8 @@
 #include <cstdarg>
 #include "boost/type_traits/object_traits.hpp"
 
+#include <assert.h>
+
 /// cl Namespace - This namespace contains all of the command line option
 /// processing machinery.  It is intentionally a short name to make qualified
 /// usage concise.
diff --git a/include/Support/SCCIterator.h b/include/Support/SCCIterator.h
index 26afdd76e4..ed660d64c7 100644
--- a/include/Support/SCCIterator.h
+++ b/include/Support/SCCIterator.h
@@ -21,6 +21,7 @@
 #include <stack>
 #include <map>
 
+#include <assert.h>
 
 //--------------------------------------------------------------------------
 // class SCC : A simple representation of an SCC in a generic Graph.
diff --git a/include/Support/Timer.h b/include/Support/Timer.h
index e89f32feab..40ab643928 100644
--- a/include/Support/Timer.h
+++ b/include/Support/Timer.h
@@ -29,6 +29,8 @@
 #include <vector>
 #include <iosfwd>
 
+#include <assert.h>
+
 class TimerGroup;
 
 class Timer {
diff --git a/include/Support/Tree.h b/include/Support/Tree.h
index 9e8d5ae7ef..544e57e526 100644
--- a/include/Support/Tree.h
+++ b/include/Support/Tree.h
@@ -10,6 +10,8 @@
 
 #include <vector>
 
+#include <assert.h>
+
 template<class ConcreteTreeNode, class Payload>
 class Tree {
   std::vector<ConcreteTreeNode*> Children;        // This nodes children, if any