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

diff --git a/src/object/pushbutton.cpp b/src/object/pushbutton.cpp
index 0f1256c4b..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";