From e589d0d57591897d1be78b53fbc947f5639df4c9 Mon Sep 17 00:00:00 2001
From: Paul Thomson <paulthomson@users.noreply.github.com>
Date: Thu, 10 Sep 2020 08:31:41 +0100
Subject: [PATCH] Add missing include (#3788)

Missing include in io.h for strcmp.
---
 tools/io.h | 1 +
 1 file changed, 1 insertion(+)

diff --git a/tools/io.h b/tools/io.h
index 97a31636..f9cfd9d1 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