aboutsummaryrefslogtreecommitdiffstats
path: root/libsolidity/formal
diff options
context:
space:
mode:
authorchriseth <chris@ethereum.org>2018-04-11 23:44:44 +0800
committerchriseth <chris@ethereum.org>2018-04-12 04:00:21 +0800
commitb5a696ad48780bf0614eef2a737a2e89963d4640 (patch)
treefcc1d4e910eef36fef15fca3e036f3039146450c /libsolidity/formal
parent52f68d3b63d65c31215e683899b96b27e2e24ee1 (diff)
downloaddexon-solidity-b5a696ad48780bf0614eef2a737a2e89963d4640.tar.gz
dexon-solidity-b5a696ad48780bf0614eef2a737a2e89963d4640.tar.zst
dexon-solidity-b5a696ad48780bf0614eef2a737a2e89963d4640.zip
Properly cope with constructor headers.
Diffstat (limited to 'libsolidity/formal')
0 files changed, 0 insertions, 0 deletions