X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fdata%2Fmake-file.c;h=eadcfa16989f34d3211c57088082cd8765195a78;hb=4ec88a3abb859304f42a5905231704b2ecfaf711;hp=fa3d15ae183a8231c108411050243328d827c59f;hpb=1f81bace8de94d9f30d492439d8a41d38f15d674;p=pspp diff --git a/src/data/make-file.c b/src/data/make-file.c index fa3d15ae18..eadcfa1698 100644 --- a/src/data/make-file.c +++ b/src/data/make-file.c @@ -27,8 +27,6 @@ #include #include -#include "mkstemp.h" - #include "gettext.h" #define _(msgid) gettext (msgid)