X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flanguage%2Fstats%2Fsort-cases.c;h=603a341d6ef53c23a6e87c50bd53a0010f12e08f;hb=29a50aeb6f35214d2affdec3bdb796f2d0e655ba;hp=cb60901fe64ed3dc8ca03a6df004dedc8608d079;hpb=70add34f5bf3e08e20839f4126126bbf37164ddb;p=pspp

diff --git a/src/language/stats/sort-cases.c b/src/language/stats/sort-cases.c
index cb60901fe6..603a341d6e 100644
--- a/src/language/stats/sort-cases.c
+++ b/src/language/stats/sort-cases.c
@@ -16,7 +16,6 @@
 
 #include <config.h>
 
-#include <assert.h>
 #include <limits.h>
 #include <stdlib.h>
 #include <sys/types.h>