From: John Darrington <john@darrington.wattle.id.au>
Date: Sat, 3 Mar 2012 11:12:54 +0000 (+0100)
Subject: Remove unnecessary #include
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=c4cc86c7594c6e12573902d5727b45ebdcabee4c;p=pspp

Remove unnecessary #include
---

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"