X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fdata%2Fmake-file.c;h=fdbb4643ebf7bb5e35ad219a81d4ad76f2384440;hb=d9153beacc1308b37dbaf4f64155553360aa0173;hp=62dfb71d3dcf366ddd37a515ab10a0dec54a48fa;hpb=21d2449f801c93a32b758a2242f15983ca9f4fe4;p=pspp

diff --git a/src/data/make-file.c b/src/data/make-file.c
index 62dfb71d3d..fdbb4643eb 100644
--- a/src/data/make-file.c
+++ b/src/data/make-file.c
@@ -19,7 +19,6 @@
 #include "data/make-file.h"
 #include "libpspp/i18n.h"
 
-#include <assert.h>
 #include <errno.h>
 #include <fcntl.h>
 #include <stdio.h>