use PLATFORM_POSIX_VERSION

2016-12-16 15:00:50 +01:00
parent b0e670a054
commit 3cdfe266cf
4 changed files with 10 additions and 10 deletions
@@ -14,6 +14,7 @@
 #include "platform.h"  /* Compiler options */
 #include <stdio.h>     /* fprintf, stderr */
 #include "datagen.h"   /* RDG_generate */
+#include "mem.h"       /* U32, U64 */


 /*-************************************