[AugurProject/augur-core] contracts: Fix SMT errors for Solidity 0.4.25. (#706)

Hi @nuevoalex I will take care of this asap. I deployed the Solidity compiler pre-release to https://github.com/cryptomental/solidity/releases/tag/v0.4.25-develop.2018.7.4-smt and will update the Dockerfile. About the redeclarations I had to explicitly add them because SMT complained. I will double check that.

Добавить комментарий