1
0
mirror of https://github.com/vcmi/vcmi.git synced 2025-06-15 00:05:02 +02:00

CGLighthouse: workaround crash on map initialization. Fix issue 3020

Dirty hack here since proper fix would require to break saves
This commit is contained in:
Arseniy Shestakov
2018-11-01 23:31:23 +03:00
parent 44e36d4675
commit 708705aa96
2 changed files with 12 additions and 4 deletions

View File

@ -523,7 +523,7 @@ public:
{
h & static_cast<CGObjectInstance&>(*this);
}
void giveBonusTo( PlayerColor player ) const;
void giveBonusTo(PlayerColor player, bool onInit = false) const;
protected:
void serializeJsonOptions(JsonSerializeFormat & handler) override;
};