From: John Darrington <john@darrington.wattle.id.au>
Date: Sat, 17 Oct 2015 13:47:03 +0000 (+0200)
Subject: Remove unnecessary #include directive
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=005ed2b3279a59e9767efedc8c5d9a40f1df4c77;p=pspp

Remove unnecessary #include directive
---

diff --git a/src/libpspp/i18n.c b/src/libpspp/i18n.c
index df7ae67da0..f26fa32c5a 100644
--- a/src/libpspp/i18n.c
+++ b/src/libpspp/i18n.c
@@ -22,7 +22,6 @@
 #include <errno.h>
 #include <iconv.h>
 #include <langinfo.h>
-#include <libintl.h>
 #include <locale.h>
 #include <stdio.h>
 #include <stdlib.h>