tools use platform.h

2016-12-16 14:24:01 +01:00
parent b3843afcf5
commit b866e72826
9 changed files with 27 additions and 9 deletions
@@ -11,7 +11,7 @@
 /*-************************************
 *  Dependencies
 **************************************/
-#include "util.h"      /* Compiler options */
+#include "platform.h"  /* Compiler options */
 #include <stdio.h>     /* fprintf, stderr */
 #include "datagen.h"   /* RDG_generate */