X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fui%2Fgui%2Fwidgets.c;h=f6dbede80fe31454a3fe80e3ec1ac6be9341231b;hb=811c669032a18cfff53291a98e5803afdf39db36;hp=008d37e52a30440ccf5200e41e28fd8005ef7750;hpb=f481fd69631024bcdc7dc2369bbc1592d7a43ac7;p=pspp

diff --git a/src/ui/gui/widgets.c b/src/ui/gui/widgets.c
index 008d37e52a..f6dbede80f 100644
--- a/src/ui/gui/widgets.c
+++ b/src/ui/gui/widgets.c
@@ -1,5 +1,7 @@
 #include <config.h>
 
+#include <gtksourceview/gtksourceview.h>
+
 #include "widgets.h"
 
 
@@ -64,5 +66,5 @@ preregister_widgets (void)
 
   /* This seems to be necessary on Cygwin.
      It ought not to be necessary.  Having it here can't do any harm. */
-  gtk_source_view_get_type ();
+  (void) gtk_source_view_get_type ();
 }