diff options
| author | bunnei <bunneidev@gmail.com> | 2021-06-23 15:31:04 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-06-23 15:31:04 -0700 |
| commit | 1b09d6628b7f268c256c12e4d3e373724671d2f1 (patch) | |
| tree | b1679d1c4bc044144798746332860939fe43d109 /src/core/frontend/input.h | |
| parent | 809e5fd52317f0a925ca463eca85a0b67d744f9e (diff) | |
| parent | d0b1f2bd05a2fcadbb4c148be2105e337dd986e8 (diff) | |
Merge pull request #6517 from lioncash/fmtlib
externals: Update fmt to 8.0.0
Diffstat (limited to 'src/core/frontend/input.h')
| -rw-r--r-- | src/core/frontend/input.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/core/frontend/input.h b/src/core/frontend/input.h index 7a047803e..f1747c5b2 100644 --- a/src/core/frontend/input.h +++ b/src/core/frontend/input.h @@ -4,6 +4,7 @@ #pragma once +#include <functional> #include <memory> #include <string> #include <tuple> |