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