X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fexpr-opt.c;h=aedc8f453255b62744f154a5ff12db37936ada96;hb=b9e28aa5614a079548c616bcf97aa804024ad647;hp=5f574f9918d41b10f9a61634a9fae990b55e6249;hpb=75ee3943826ac638a279a81a6d49de09e3e695cf;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"