Fix for coverity #29409 - Use char 0 instead of NULL

[supertux.git] / src / trigger / secretarea_trigger.hpp

diff --git a/src/trigger/secretarea_trigger.hpp b/src/trigger/secretarea_trigger.hpp
index 3160afe..4aa4896 100644 (file)
--- a/src/trigger/secretarea_trigger.hpp
+++ b/src/trigger/secretarea_trigger.hpp
@@ -19,6 +19,7 @@
 
 #include "trigger/trigger_base.hpp"
 
+#include "object/tilemap.hpp"
 #include "supertux/timer.hpp"
 #include "util/reader_fwd.hpp"
 #include "util/writer_fwd.hpp"
@@ -36,6 +37,7 @@ public:
 
   void event(Player& player, EventType type);
   void draw(DrawingContext& context);
+  std::string get_fade_tilemap_name();
 
 private:
   Timer message_timer;