X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fdata%2Ffile-handle-def.c;fp=src%2Fdata%2Ffile-handle-def.c;h=59195e91bdfa676548d6951d809068f2364f84ce;hb=c3bd77adba5746aae895e6a354aada4e694c0e3f;hp=c7ba23d58aeb1fda8162e73124fd7a1508f31370;hpb=0730ccfa7528b67b7b2d699925668ea3a6e77b75;p=pspp-builds.git diff --git a/src/data/file-handle-def.c b/src/data/file-handle-def.c index c7ba23d5..59195e91 100644 --- a/src/data/file-handle-def.c +++ b/src/data/file-handle-def.c @@ -25,7 +25,6 @@ #include #include -#include #include #include #include