diff options
| author | Alex Beregszaszi <alex@rtfs.hu> | 2017-12-18 22:32:23 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-12-18 22:32:23 +0800 |
| commit | 55752db9569a3d6c0253beb26465c722245a4505 (patch) | |
| tree | ae39ac59506781bc8b858f16f1e2f2ff91f3992a /libsolidity/formal/SMTChecker.h | |
| parent | 460c9f3943454ecb1679746b363ddbc5b903849b (diff) | |
| parent | add4cde68cd9b5c52db8a312a34591a8bb61d8fa (diff) | |
| download | dexon-solidity-55752db9569a3d6c0253beb26465c722245a4505.tar.gz dexon-solidity-55752db9569a3d6c0253beb26465c722245a4505.tar.zst dexon-solidity-55752db9569a3d6c0253beb26465c722245a4505.zip | |
Merge pull request #3342 from ethereum/jsonio-sourcelocation
Populate the sourceLocation field properly in standard JSON on errors
Diffstat (limited to 'libsolidity/formal/SMTChecker.h')
0 files changed, 0 insertions, 0 deletions