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 | 577e6e7f9755919f4929235d2320435522e65d76 (patch) | |
| tree | 39ddae6bbc1c8d4bff153b8ac8e925c4184120ea /utils/synutils/utility.h | |
| parent | 00968d1ba03c0603440fe5a765b87869b99a0a93 (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; |