X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=inline;f=src%2Flanguage%2Futilities%2Fpermissions.c;h=1de2175a47f121ea0feccdc0e5126906ff677adc;hb=a46ed36dcbab01d36c08cf560ff96a7effd9779a;hp=967b1bd2a1c314cca681dd78516084fd30921994;hpb=8a92de555939887bbb784e44f4e3c901698a2dd4;p=pspp-builds.git
diff --git a/src/language/utilities/permissions.c b/src/language/utilities/permissions.c
index 967b1bd2..1de2175a 100644
--- a/src/language/utilities/permissions.c
+++ b/src/language/utilities/permissions.c
@@ -15,7 +15,7 @@
along with this program. If not, see . */
#include
-#include
+
#include
#include
#include