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

@cryptomental pushed 1 commit.

e57418a test/smt/Dockerfile: Use 0.4.25 Solidity pre-release.

This post was last modified on July 6, 2018, 8:56 am