Merge pull request #851 from NadeenUdantha/patch-1

Alexey

2018-05-18 8b9af80a5b3bdb6ec17c4fa2cfa14ce4676ef1c3

 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);