version number set to 4.2.0.2

[rocksndiamonds.git] / src / game.c

diff --git a/src/game.c b/src/game.c
index 18a45fcf236d7d3a7f043bf286d1deb83bbf59ae..59882daca9ce298423b0826b080eb391dfad2673 100644 (file)
--- a/src/game.c
+++ b/src/game.c
@@ -2993,6 +2993,15 @@ static void InitGameEngine(void)
   game_em.use_old_explosions =
     (game.engine_version < VERSION_IDENT(4,1,4,2));
 
+  game_em.use_old_android =
+    (game.engine_version < VERSION_IDENT(4,1,4,2));
+
+  game_em.use_old_push_elements =
+    (game.engine_version < VERSION_IDENT(4,1,4,2));
+
+  game_em.use_old_push_into_acid =
+    (game.engine_version < VERSION_IDENT(4,1,4,2));
+
   game_em.use_wrap_around =
     (game.engine_version > VERSION_IDENT(4,1,4,1));