Gabriele Contini
2019-09-01 296baa1f2f26aa5fe711d154d557ca2a7d6f9b5d
src/library/os/os.h
@@ -17,10 +17,10 @@
#include <string.h>
#include <ctype.h>
#include <sys/types.h>
#include <unistd.h>
//definition of size_t
#include <stdlib.h>
#ifdef __unix__
#include <unistd.h>
#include <stdbool.h>
#endif