diff options
Diffstat (limited to 'support/lib/Support')
| -rw-r--r-- | support/lib/Support/Statistic.cpp | 1 | ||||
| -rw-r--r-- | support/lib/Support/Timer.cpp | 1 |
2 files changed, 2 insertions, 0 deletions
diff --git a/support/lib/Support/Statistic.cpp b/support/lib/Support/Statistic.cpp index 4db949a99a..6345fbfcfc 100644 --- a/support/lib/Support/Statistic.cpp +++ b/support/lib/Support/Statistic.cpp @@ -18,6 +18,7 @@ #include "Support/CommandLine.h" #include <iostream> #include <sstream> +#include <algorithm> bool DebugFlag; // DebugFlag - Exported boolean set by the -debug option diff --git a/support/lib/Support/Timer.cpp b/support/lib/Support/Timer.cpp index fb38fcb6fe..d0ce71f3c3 100644 --- a/support/lib/Support/Timer.cpp +++ b/support/lib/Support/Timer.cpp @@ -12,6 +12,7 @@ #include <stdio.h> #include <iostream> #include <algorithm> +#include <functional> static TimerGroup *DefaultTimerGroup = 0; static TimerGroup *getDefaultTimerGroup() { |