From: Tobias Markus <tobbi@mozilla-uk.org>
Date: Sun, 1 Mar 2015 19:26:23 +0000 (+0100)
Subject: Fix coverity issues (uninitialized members)
X-Git-Url: https://git.verplant.org/?a=commitdiff_plain;h=204bc2e13db0c4b82784e880df3e2174f8d90487;p=supertux.git

Fix coverity issues (uninitialized members)
---

diff --git a/src/badguy/badguy.cpp b/src/badguy/badguy.cpp
index ebea262a0..cc0638eac 100644
--- a/src/badguy/badguy.cpp
+++ b/src/badguy/badguy.cpp
@@ -70,6 +70,7 @@ BadGuy::BadGuy(const Vector& pos, Direction direction, const std::string& sprite
   start_dir(direction),
   frozen(false),
   ignited(false),
+  in_water(false),
   dead_script(),
   state(STATE_INIT),
   is_active_flag(),
@@ -97,6 +98,7 @@ BadGuy::BadGuy(const Reader& reader, const std::string& sprite_name_, int layer_
   start_dir(AUTO),
   frozen(false),
   ignited(false),
+  in_water(false),
   dead_script(),
   state(STATE_INIT),
   is_active_flag(),