X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flanguage%2Fstats%2Fsort-criteria.h;fp=src%2Flanguage%2Fstats%2Fsort-criteria.h;h=02a4a6cbefb8c552828535978f8b37c4f3dc605d;hb=d709bb3de888c933c34064440b5431c9b62d9103;hp=051c34e3b4c0f146b5067358f8755d7c1ceb197d;hpb=9f087e7aa4cdff1d5d46d5e188c0017a9d2d0029;p=pspp

diff --git a/src/language/stats/sort-criteria.h b/src/language/stats/sort-criteria.h
index 051c34e3b4..02a4a6cbef 100644
--- a/src/language/stats/sort-criteria.h
+++ b/src/language/stats/sort-criteria.h
@@ -17,7 +17,6 @@
 #ifndef SORT_CRITERIA_H
 #define SORT_CRITERIA_H
 
-#include <config.h>
 #include <stdbool.h>
 #include <stddef.h>