Removed extraneous #pragma from button.cc