X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fwidgets.c;h=da62642870f01f05ae2b70bef2094d84637b631e;hb=52e144652645cab108fb2db0a970f1ace2cbf2ea;hp=da9afe15387edb63c51fb0853369fb55caad5535;hpb=d506910e4bc69028c6328d15c005667ad2a0d881;p=pspp

diff --git a/src/ui/gui/widgets.c b/src/ui/gui/widgets.c
index da9afe1538..da62642870 100644
--- a/src/ui/gui/widgets.c
+++ b/src/ui/gui/widgets.c
@@ -1,6 +1,6 @@
 #include <config.h>
 
-#include <gtksourceview/gtksourceview.h>
+#include <gtksourceview/gtksource.h>
 
 #include "widgets.h"