X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flanguage%2Fcontrol%2Ftemporary.c;h=b350759b024e3c0d2393f0bf32ddf50313dcbecc;hb=7d683abd904f855c4dc5614a326dc6b2146853c9;hp=7ebcc5ad9c8b92092a8850ddd05d547e58be4ffb;hpb=2be9bee9da6a2ce27715e58128569594319abfa2;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"