diff options
Diffstat (limited to 'src/state.cc')
-rw-r--r-- | src/state.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/state.cc b/src/state.cc index 74cf4c1..d3a9e29 100644 --- a/src/state.cc +++ b/src/state.cc @@ -22,6 +22,7 @@ #include "metrics.h" #include "util.h" +using namespace std; void Pool::EdgeScheduled(const Edge& edge) { if (depth_ != 0) |