[gnome-flashback/gnome-3-18] input-sources: remove unused variable

[Alberts Muktupāvels <muktupavels src gnome org>]

commit a92f346decf8ad6acdce849aeb78c0b5dafc8cdd
Author: Alberts Muktupāvels <alberts muktupavels gmail com>
Date:   Thu Mar 17 20:38:34 2016 +0200

    input-sources: remove unused variable

 .../libinput-sources/gf-input-sources.c            |    1 -
 1 files changed, 0 insertions(+), 1 deletions(-)
---
diff --git a/gnome-flashback/libinput-sources/gf-input-sources.c 
b/gnome-flashback/libinput-sources/gf-input-sources.c
index ef3150a..f40b13e 100644
--- a/gnome-flashback/libinput-sources/gf-input-sources.c
+++ b/gnome-flashback/libinput-sources/gf-input-sources.c
@@ -187,7 +187,6 @@ build_prop_section (GfInputSources *sources,
                     GtkMenu        *menu)
 {
   IBusPropList *prop_list;
-  GtkWidget *separator;
 
   prop_list = gf_input_source_get_properties (sources->current_source);