From 8b9af80a5b3bdb6ec17c4fa2cfa14ce4676ef1c3 Mon Sep 17 00:00:00 2001
From: Alexey <AlexeyAB@users.noreply.github.com>
Date: Fri, 18 May 2018 20:27:59 +0000
Subject: [PATCH] Merge pull request #851 from NadeenUdantha/patch-1

---
 src/utils.h |    1 +
 1 files changed, 1 insertions(+), 0 deletions(-)

diff --git a/src/utils.h b/src/utils.h
index d56931c..8e8e1c7 100644
--- a/src/utils.h
+++ b/src/utils.h
@@ -25,6 +25,7 @@
 #endif
 #endif
 
+double what_time_is_it_now();
 int *read_map(char *filename);
 void shuffle(void *arr, size_t n, size_t size);
 void sorta_shuffle(void *arr, size_t n, size_t size, size_t sections);

--
Gitblit v1.10.0