diff options
author | Gavin Andresen <gavinandresen@gmail.com> | 2014-10-23 14:35:33 -0400 |
---|---|---|
committer | Gavin Andresen <gavinandresen@gmail.com> | 2014-10-23 14:37:37 -0400 |
commit | 3552d4b859d56726cd25baa6f1e5988050bdad33 (patch) | |
tree | 77046efa3cdba2d226675a53b6fa0989d38fabc6 | |
parent | d2833de42430b7771eb572d71ba81eec1079f91f (diff) | |
parent | 3a757c52947a5a1beefb456ca7d3ebab7a5a14a2 (diff) |
Merge pull request #5128
3a757c5 fix build with libc++ after 85c579e (Cory Fields)
Signed-off-by: Gavin Andresen <gavinandresen@gmail.com>
-rw-r--r-- | src/script/script.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/script/script.h b/src/script/script.h index a68924c73a..d450db5cad 100644 --- a/src/script/script.h +++ b/src/script/script.h @@ -12,6 +12,7 @@ #include <stdexcept> #include <stdint.h> #include <string.h> +#include <string> #include <vector> static const unsigned int MAX_SCRIPT_ELEMENT_SIZE = 520; // bytes |