diff options
| author | Paul Thomson <paulthomson@users.noreply.github.com> | 2020-09-10 10:31:41 +0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-09-10 10:31:41 +0300 |
| commit | e589d0d57591897d1be78b53fbc947f5639df4c9 (patch) | |
| tree | 47122233b54db89df3c02e7c22b17f0380f18fa6 /tools | |
| parent | a715b1b4053519ad0f2bdb2d22ace35d35867cff (diff) | |
Add missing include (#3788)
Missing include in io.h for strcmp.
Diffstat (limited to 'tools')
| -rw-r--r-- | tools/io.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/io.h b/tools/io.h index 97a31636b..f9cfd9d18 100644 --- a/tools/io.h +++ b/tools/io.h @@ -17,6 +17,7 @@ #include <cstdint> #include <cstdio> +#include <cstring> #include <vector> // Appends the content from the file named as |filename| to |data|, assuming |