Gabriele Contini
2019-08-29 37ac994f2be71eb5efb356c54aa987a5efb5101d
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