Gabriele Contini
2019-09-01 7b80a9bd8e2877c42aa95a9f7d753b9f9a29108a
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