X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fmath%2Ftrimmed-mean.h;h=baa84bc24e23792e9d53305c0f027426e2622367;hb=bb0e1c1f8b1a87a0ccd9bb4ffb22466475a47b7f;hp=c667b1be7ffcd9f9486606022c521143f5f08e6e;hpb=cb586666724d5fcbdb658ce471b85484f0a7babe;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"