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); }