X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fdata%2Fdata-out.c;h=8091cefd6e5215c462ff98e82bc5b234b7ce1151;hb=c3bd77adba5746aae895e6a354aada4e694c0e3f;hp=4adaaa63a55f35fbbbca96a5e5a9d1e6498bb720;hpb=0730ccfa7528b67b7b2d699925668ea3a6e77b75;p=pspp-builds.git diff --git a/src/data/data-out.c b/src/data/data-out.c index 4adaaa63..8091cefd 100644 --- a/src/data/data-out.c +++ b/src/data/data-out.c @@ -34,7 +34,6 @@ #include #include #include -#include #include #include #include