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/Makefile.test_util.include | |
| 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/Makefile.test_util.include')
0 files changed, 0 insertions, 0 deletions