diff options
| author | Rusty Wagner <rusty@vector35.com> | 2016-06-29 16:47:16 -0400 |
|---|---|---|
| committer | Rusty Wagner <rusty@vector35.com> | 2016-06-29 16:47:16 -0400 |
| commit | 26964659b4e301d6fd662526560acdc475810ae4 (patch) | |
| tree | ca162f815ade1cb99be2c87e032659e49602c6e3 /binaryninjaapi.h | |
| parent | 3d7bb5ada00ac4650a916cdb59d3418e5db7f3eb (diff) | |
Fix missing include
Diffstat (limited to 'binaryninjaapi.h')
| -rw-r--r-- | binaryninjaapi.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/binaryninjaapi.h b/binaryninjaapi.h index f7d260a1..e70282aa 100644 --- a/binaryninjaapi.h +++ b/binaryninjaapi.h @@ -30,6 +30,7 @@ #include <exception> #include <functional> #include <set> +#include <mutex> #include "binaryninjacore.h" #include "json/json.h" |