X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flanguage%2Fcontrol%2Ftemporary.c;h=b350759b024e3c0d2393f0bf32ddf50313dcbecc;hb=96db814fbc3a1ec3bf063e447999444e695c6f93;hp=7ebcc5ad9c8b92092a8850ddd05d547e58be4ffb;hpb=fe8dc2171009e90d2335f159d05f7e6660e24780;p=pspp

diff --git a/src/language/control/temporary.c b/src/language/control/temporary.c
index 7ebcc5ad9c..b350759b02 100644
--- a/src/language/control/temporary.c
+++ b/src/language/control/temporary.c
@@ -16,7 +16,6 @@
 
 #include <config.h>
 
-#include <stddef.h>
 #include <stdlib.h>
 
 #include "data/dataset.h"