From 6c510fb558aa3d2a32173da3d2958e04c1fb941f Mon Sep 17 00:00:00 2001
From: Viktor Lidholt <viktorl@google.com>
Date: Tue, 21 Jul 2015 13:30:30 -0700
Subject: [PATCH] Minor formatting fixes

---
 packages/flutter/example/game/lib/sprite_box.dart | 8 +-------
 packages/flutter/example/game/main.dart           | 2 +-
 2 files changed, 2 insertions(+), 8 deletions(-)

diff --git a/packages/flutter/example/game/lib/sprite_box.dart b/packages/flutter/example/game/lib/sprite_box.dart
index 6d94562f649..c35d9e90cfb 100644
--- a/packages/flutter/example/game/lib/sprite_box.dart
+++ b/packages/flutter/example/game/lib/sprite_box.dart
@@ -29,8 +29,7 @@ class SpriteBox extends RenderBox {
   NodeWithSize _rootNode;
 
   void set rootNode (NodeWithSize value) {
-    if (value == _rootNode)
-      return;
+    if (value == _rootNode) return;
 
     // Remove sprite box references
     if (_rootNode != null) _removeSpriteBoxReference(_rootNode);
@@ -110,11 +109,6 @@ class SpriteBox extends RenderBox {
     _scheduleTick();
   }
 
-  void detach() {
-    super.detach();
-
-  }
-
   // Properties
 
   /// The root node of the node tree that is rendered by this box.
diff --git a/packages/flutter/example/game/main.dart b/packages/flutter/example/game/main.dart
index cba380d5bf7..8cd364dd331 100644
--- a/packages/flutter/example/game/main.dart
+++ b/packages/flutter/example/game/main.dart
@@ -93,7 +93,7 @@ class GameDemoApp extends App {
     return new Center(
       child: new RaisedButton(
         child: new Text("Play"),
-        onPressed:() => navigator.pushNamed('/game')
+        onPressed: () => navigator.pushNamed('/game')
       )
     );
   }