Include time

1 files changed, 1 insertions, 0 deletions

diff --git a/core.c b/core.c
index 7bcd622..db9a06d 100644
--- a/core.c
+++ b/core.c
@@ -4,6 +4,7 @@
 #include <stdlib.h>
 #include <stdio.h>
 #include <string.h>
+#include <time.h>
 
 void printError(const char *s) {
   printf("ERROR: %s\n", s);