From 186617fc2bebca7967a2e575b4a9a92cd6f04dee Mon Sep 17 00:00:00 2001
From: Gioacchino Mazzurco <gio@eigenlab.org>
Date: Thu, 17 May 2018 16:43:14 +0200
Subject: [PATCH] Fix missing include

---
 libresapi/src/api/ChannelsHandler.cpp | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/libresapi/src/api/ChannelsHandler.cpp b/libresapi/src/api/ChannelsHandler.cpp
index 52a3527ac..3c5084578 100644
--- a/libresapi/src/api/ChannelsHandler.cpp
+++ b/libresapi/src/api/ChannelsHandler.cpp
@@ -22,6 +22,8 @@
 #include <util/radix64.h>
 #include <util/rstime.h>
 #include <algorithm>
+#include <time.h>
+
 #include "Operators.h"
 
 namespace resource_api