@@ -15,11 +15,10 @@
  * file.
  */
 
 #include "config.h"
 
-#include <inttypes.h>
 #include <limits.h>
 #include <time.h>
 #include <math.h>
 
 #include <sys/time.h>