diff options
| author | Luke Dashjr <luke-jr+git@utopios.org> | 2018-04-02 18:31:40 +0000 |
|---|---|---|
| committer | Luke Dashjr <luke-jr+git@utopios.org> | 2018-04-02 18:31:52 +0000 |
| commit | a5bca13095aa835d61f872081fc0cc2fa53552f3 (patch) | |
| tree | 3f4ce332a537159a48f4a37da47599590034baa5 /src/util.h | |
| parent | 9d9c4185fadaf243bb97c226e2fef16b65299699 (diff) | |
Bugfix: Include <memory> for std::unique_ptr
Diffstat (limited to 'src/util.h')
| -rw-r--r-- | src/util.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/util.h b/src/util.h index 277b4c66af..5e9e15dd02 100644 --- a/src/util.h +++ b/src/util.h @@ -23,6 +23,7 @@ #include <atomic> #include <exception> #include <map> +#include <memory> #include <stdint.h> #include <string> #include <vector> |