diff options
author | Wu, Ke <wuke@cs.umd.edu> | 2014-10-07 17:41:19 -0400 |
---|---|---|
committer | Wu, Ke <wuke@cs.umd.edu> | 2014-10-07 17:41:19 -0400 |
commit | ebeda1e75c77dd9044f1b9902770896e3009ae55 (patch) | |
tree | ea4226f46e1239f721a63cb834f544345361ca98 /utils/synutils/utility.h | |
parent | 93c444e643e76fe18f852ce07635850e963eea16 (diff) |
Make synutils compile
Diffstat (limited to 'utils/synutils/utility.h')
-rw-r--r-- | utils/synutils/utility.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/utils/synutils/utility.h b/utils/synutils/utility.h index 791b2286..ef7b78b7 100644 --- a/utils/synutils/utility.h +++ b/utils/synutils/utility.h @@ -13,6 +13,8 @@ #include <assert.h> #include <stdlib.h> #include <string.h> + +#include <string> #include <unordered_map> using namespace std; |