[gnome-chess] pause_button should always be a Gtk.ToolButton

[Michael Catanzaro <mcatanzaro src gnome org>]

commit c6154e8f4d4af8887c11c4e8e3d3c40585e32c7f
Author: Michael Catanzaro <mike catanzaro gmail com>
Date:   Wed Jul 31 19:40:57 2013 -0500

    pause_button should always be a Gtk.ToolButton
    
    https://bugzilla.gnome.org/show_bug.cgi?id=701578

 src/gnome-chess.vala |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)
---
diff --git a/src/gnome-chess.vala b/src/gnome-chess.vala
index 3882251..c615036 100644
--- a/src/gnome-chess.vala
+++ b/src/gnome-chess.vala
@@ -1202,7 +1202,7 @@ public class Application : Gtk.Application
     {
         is_paused = !is_paused;
         game.is_paused = is_paused;
-        Gtk.ToolButton tool_button = pause_button as Gtk.ToolButton;
+        Gtk.ToolButton tool_button = (Gtk.ToolButton) pause_button;
         if (is_paused)
         {
             if (game.clock != null)