X-Git-Url: https://git.verplant.org/?a=blobdiff_plain;f=src%2Fbadguy.h;h=8ea7f2e658e4832587af81cd1f0df4725e9b73fb;hb=ee6db785e8eff4883da70b404a9bdb4a42e75ac3;hp=7ec03e3252a984202bdc525425c6c68e97a2f8ea;hpb=63934f5f4c15f059c9b60499575870ebb7c923a0;p=supertux.git

diff --git a/src/badguy.h b/src/badguy.h
index 7ec03e325..8ea7f2e65 100644
--- a/src/badguy.h
+++ b/src/badguy.h
@@ -124,7 +124,7 @@ private:
   float animation_speed;
 
 public:
-  void init(float x, float y, BadGuyKind kind);
+  void init(float x, float y, BadGuyKind kind, bool stay_on_platform);
 
   void action(float frame_ratio);
   void draw();