X-Git-Url: https://git.verplant.org/?a=blobdiff_plain;f=src%2Fobject%2Fpushbutton.cpp;h=3630cf6e31ec4fe347e3e0e89b964d356a2f4d59;hb=657fc40723665c04b3150946f5bd66b6b0af9230;hp=45012f33b34c17d28d3489e8ebbebbc23283cf27;hpb=3655d32f63f75b2af054ec68d4176e55a561ba96;p=supertux.git

diff --git a/src/object/pushbutton.cpp b/src/object/pushbutton.cpp
index 45012f33b..3630cf6e3 100644
--- a/src/object/pushbutton.cpp
+++ b/src/object/pushbutton.cpp
@@ -27,6 +27,7 @@
 #include "sprite/sprite_manager.hpp"
 #include "sector.hpp"
 #include "log.hpp"
+#include "sprite/sprite.hpp"
 
 namespace {
   const std::string BUTTON_SOUND = "sounds/switch.ogg";
@@ -34,7 +35,7 @@ namespace {
 }
 
 PushButton::PushButton(const lisp::Lisp& lisp)
-	: MovingSprite(lisp, "images/objects/pushbutton/pushbutton.sprite", LAYER_BACKGROUNDTILES+1, COLGROUP_MOVING), state(OFF)
+        : MovingSprite(lisp, "images/objects/pushbutton/pushbutton.sprite", LAYER_BACKGROUNDTILES+1, COLGROUP_MOVING), state(OFF)
 {
   sound_manager->preload(BUTTON_SOUND);
   set_action("off", -1);
@@ -71,7 +72,7 @@ PushButton::collision(GameObject& other, const CollisionHit& hit)
 
   // play sound
   sound_manager->play(BUTTON_SOUND);
-  
+
   // run script
   std::istringstream stream(script);
   Sector::current()->run_script(stream, "PushButton");
@@ -80,4 +81,3 @@ PushButton::collision(GameObject& other, const CollisionHit& hit)
 }
 
 IMPLEMENT_FACTORY(PushButton, "pushbutton");
-