X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fexpr-opt.c;h=aedc8f453255b62744f154a5ff12db37936ada96;hb=067d02c2b8c591efc368cf5127c497313d7a373f;hp=5f574f9918d41b10f9a61634a9fae990b55e6249;hpb=97d6c6f6b1922621ca013668eba9a9a9f71d60fe;p=pspp

diff --git a/src/expr-opt.c b/src/expr-opt.c
index 5f574f9918..aedc8f4532 100644
--- a/src/expr-opt.c
+++ b/src/expr-opt.c
@@ -31,7 +31,6 @@
 #include "julcal/julcal.h"
 #include "misc.h"
 #include "pool.h"
-#include "stats.h"
 #include "str.h"
 #include "var.h"