From: Ben Pfaff <blp@cs.stanford.edu>
Date: Sun, 19 Aug 2012 20:19:39 +0000 (-0700)
Subject: widgets: Insert (void) cast in call, to suppress GCC warning.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=refs%2Fbuilds%2F20120825001851%2Fpspp;p=pspp

widgets: Insert (void) cast in call, to suppress GCC warning.

Otherwise GCC tells me that the call has no effect.
---

diff --git a/src/ui/gui/widgets.c b/src/ui/gui/widgets.c
index c4f8099067..f6dbede80f 100644
--- a/src/ui/gui/widgets.c
+++ b/src/ui/gui/widgets.c
@@ -66,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 ();
 }