From d5786a30344ea59e98ddc7847a8b275e723b22e2 Mon Sep 17 00:00:00 2001
From: SpaceToad <spacetoadcraft@gmail.com>
Date: Tue, 6 May 2014 20:51:56 +0200
Subject: [PATCH] fixed style

---
 common/buildcraft/builders/gui/GuiArchitect.java | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/common/buildcraft/builders/gui/GuiArchitect.java b/common/buildcraft/builders/gui/GuiArchitect.java
index 7a16229e..01af297e 100644
--- a/common/buildcraft/builders/gui/GuiArchitect.java
+++ b/common/buildcraft/builders/gui/GuiArchitect.java
@@ -82,8 +82,8 @@ public class GuiArchitect extends GuiBuildCraft {
 		updateButtons();
 	}
 
-	public void onGuiClosed()
-	{
+	@Override
+	public void onGuiClosed() {
 		Keyboard.enableRepeatEvents(false);
 	}