X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fmath%2Ftrimmed-mean.h;h=baa84bc24e23792e9d53305c0f027426e2622367;hb=refs%2Fheads%2Fpivot-table2;hp=c667b1be7ffcd9f9486606022c521143f5f08e6e;hpb=b46b794dfb9f0758aafec83f50993d1930894099;p=pspp

diff --git a/src/math/trimmed-mean.h b/src/math/trimmed-mean.h
index c667b1be7f..baa84bc24e 100644
--- 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"