X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fwidget-io.h;h=0fdb8caae7941557cddb22c4fd3d732d48f484ee;hb=afdf3096926b561f4e6511c10fcf73fc6796b9d2;hp=073578c57018dbcc14ff46a20487603a2119db16;hpb=0085c7edf6d3b9c9ee2ce880893023c567886101;p=pspp-builds.git

diff --git a/src/ui/gui/widget-io.h b/src/ui/gui/widget-io.h
index 073578c5..0fdb8caa 100644
--- a/src/ui/gui/widget-io.h
+++ b/src/ui/gui/widget-io.h
@@ -14,8 +14,6 @@
    You should have received a copy of the GNU General Public License
    along with this program.  If not, see <http://www.gnu.org/licenses/>. */
 
-#include <config.h>
-
 #include <gtk/gtk.h>