Remove unnecessary #include

diff --git a/src/math/trimmed-mean.h b/src/math/trimmed-mean.h
index c667b1be7ffcd9f9486606022c521143f5f08e6e..baa84bc24e23792e9d53305c0f027426e2622367 100644 (file)
--- a/src/math/trimmed-mean.h
+++ b/src/math/trimmed-mean.h
@@ -17,8 +17,6 @@
 #ifndef __TRIMMED_MEAN_H__
 #define __TRIMMED_MEAN_H__
 
-#include <stddef.h>
-
 #include "order-stats.h"