diff options
| author | Wladimir J. van der Laan <laanwj@protonmail.com> | 2020-01-02 20:54:15 +0100 |
|---|---|---|
| committer | Wladimir J. van der Laan <laanwj@protonmail.com> | 2020-01-02 20:54:15 +0100 |
| commit | 4bdd68f301a9cee3360deafc7531c638e923226b (patch) | |
| tree | 48dbc94560af6821dbd71101487e1924bf06c52f /src/util | |
| parent | 4d88c3dcb61e7c075ed3dd442044e0eff4e3c8de (diff) | |
Add missing typeinfo includes
The use of `typeid()` for logging exception types requires this include
according to https://en.cppreference.com/w/cpp/language/typeid.
Diffstat (limited to 'src/util')
| -rw-r--r-- | src/util/system.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/util/system.cpp b/src/util/system.cpp index 563ff6a54b..f234a020da 100644 --- a/src/util/system.cpp +++ b/src/util/system.cpp @@ -63,6 +63,7 @@ #endif #include <thread> +#include <typeinfo> #include <univalue.h> // Application startup time (used for uptime calculation) |