X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;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 <http://www.gnu.org/licenses/>. */
 
 #include <config.h>
-#include <libpspp/message.h>
+
 #include <stdlib.h>
 #include <sys/types.h>
 #include <sys/stat.h>