From 7296d3d90d91182b9f132056faf3812b61020055 Mon Sep 17 00:00:00 2001
From: Antonio SJ Musumeci <trapexit@spawn.link>
Date: Thu, 15 Jun 2017 19:35:28 -0400
Subject: [PATCH] add time.h to fix compiling on some platforms

---
 src/num.cpp | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/num.cpp b/src/num.cpp
index 874a3828..195bf55e 100644
--- a/src/num.cpp
+++ b/src/num.cpp
@@ -16,6 +16,7 @@
 
 #include <stdint.h>
 #include <stdlib.h>
+#include <time.h>
 
 #include <string>