diff -r 6a928999fefd -r 4596357d002d share/hedgewars/Data/Missions/Campaign/A_Space_Adventure/final.lua --- a/share/hedgewars/Data/Missions/Campaign/A_Space_Adventure/final.lua Tue May 07 15:50:15 2019 +0200 +++ b/share/hedgewars/Data/Missions/Campaign/A_Space_Adventure/final.lua Tue May 07 16:08:27 2019 +0200 @@ -192,7 +192,7 @@ end end -function onPrecise() +function onPreciseLocal() if GameTime > 3000 then SetAnimSkip(true) end