X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Flanguage%2Futilities%2Fset.q;fp=src%2Flanguage%2Futilities%2Fset.q;h=18ead9153809a92658585ce5a48fe354415ae39e;hb=c3bd77adba5746aae895e6a354aada4e694c0e3f;hp=6b56941fb0e7171de5643fc54fb255c93488821d;hpb=0730ccfa7528b67b7b2d699925668ea3a6e77b75;p=pspp-builds.git diff --git a/src/language/utilities/set.q b/src/language/utilities/set.q index 6b56941f..18ead915 100644 --- a/src/language/utilities/set.q +++ b/src/language/utilities/set.q @@ -38,7 +38,6 @@ #include #include #include -#include #include #include #include