From 848fb8f85491d13e21cd3352d14460110428032e Mon Sep 17 00:00:00 2001
From: Ben Pfaff <blp@cs.stanford.edu>
Date: Sun, 19 Aug 2012 13:19:39 -0700
Subject: [PATCH] widgets: Insert (void) cast in call, to suppress GCC warning.
Otherwise GCC tells me that the call has no effect.
---
src/ui/gui/widgets.c | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
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 ();
}
--
2.30.2