From 6a7cbbfd44ce274b4e7187f747c03febaef1afff Mon Sep 17 00:00:00 2001
From: lhausamm <loic_hausammann@hotmail.com>
Date: Fri, 2 Mar 2018 18:49:50 +0100
Subject: [PATCH] Fix missing header

---
 src/io_properties.h | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/io_properties.h b/src/io_properties.h
index 55e128e890..ab90ee7828 100644
--- a/src/io_properties.h
+++ b/src/io_properties.h
@@ -19,6 +19,8 @@
 #ifndef SWIFT_IO_PROPERTIES_H
 #define SWIFT_IO_PROPERTIES_H
 
+#include <string.h>
+
 /* Config parameters. */
 #include "../config.h"
 
-- 
GitLab