diff options
Diffstat (limited to 'include/Support')
| -rw-r--r-- | include/Support/CommandLine.h | 1 | ||||
| -rw-r--r-- | include/Support/Timer.h | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/include/Support/CommandLine.h b/include/Support/CommandLine.h index b6c066006f..245d15bc51 100644 --- a/include/Support/CommandLine.h +++ b/include/Support/CommandLine.h @@ -17,6 +17,7 @@ #include <vector> #include <utility> #include <cstdarg> +#include <cassert> #include "boost/type_traits/object_traits.hpp" /// cl Namespace - This namespace contains all of the command line option diff --git a/include/Support/Timer.h b/include/Support/Timer.h index c36006f25d..e993d88b72 100644 --- a/include/Support/Timer.h +++ b/include/Support/Timer.h @@ -28,6 +28,7 @@ #include <string> #include <vector> #include <iosfwd> +#include <cassert> class TimerGroup; |