X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fdata%2Fany-writer.c;h=b26440158c67033d0039cf8b73d1c62d6c71ced4;hb=8b069a8dd30582d725034ba78922d919b242236a;hp=170702bab36c333f4d9e4bb54aca596e70f70e25;hpb=d6cbbc8d634fa91f050661355139a4e4697e99ab;p=pspp

diff --git a/src/data/any-writer.c b/src/data/any-writer.c
index 170702bab3..b26440158c 100644
--- a/src/data/any-writer.c
+++ b/src/data/any-writer.c
@@ -18,7 +18,6 @@
 
 #include "data/any-writer.h"
 
-#include <assert.h>
 #include <errno.h>
 #include <stdbool.h>
 #include <stdio.h>