From 748064678f0bc8c9323b3e14abbd6fad4d24d8b0 Mon Sep 17 00:00:00 2001
From: Ray Strode <rstrode@redhat.com>
Date: Thu, 20 Dec 2012 14:22:47 -0500
Subject: [PATCH] prefs: drop errnoneous semi-colon

This fixes a compiler warning and spurious
enqueuing of WORKSPACE_NAMES change.

https://bugzilla.gnome.org/show_bug.cgi?id=690573
---
 src/core/prefs.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/core/prefs.c b/src/core/prefs.c
index d5cf3dd02..316d122d0 100644
--- a/src/core/prefs.c
+++ b/src/core/prefs.c
@@ -1007,7 +1007,7 @@ settings_changed (GSettings *settings,
   /* String array, handled separately */
   if (strcmp (key, KEY_WORKSPACE_NAMES) == 0)
     {
-      if (update_workspace_names ());
+      if (update_workspace_names ())
         queue_changed (META_PREF_WORKSPACE_NAMES);
       return;
     }