X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=lib%2Fmisc%2Fgetdelim.c;h=f770db3f37f3183172be21f6793ac314ee5be712;hb=b26094b483f97d89025df65a30523a65e716790a;hp=8e1c1dd5b33b79a87fb0cfd9896816c1ab79f5d3;hpb=3d692f50d5cbb83eb0f0787bee20c5c49ef42050;p=pspp

diff --git a/lib/misc/getdelim.c b/lib/misc/getdelim.c
index 8e1c1dd5b3..f770db3f37 100644
--- a/lib/misc/getdelim.c
+++ b/lib/misc/getdelim.c
@@ -21,7 +21,6 @@
 #include <assert.h>
 #include <stddef.h>
 #include <stdio.h>
-#include "alloc.h"
 
 /* Reads a DELIMITER-separated field of any length from file STREAM.
    *LINEPTR is a malloc'd string of size N; if *LINEPTR is NULL, it is