diff options
| author | Leonardo <leo@ethereum.org> | 2018-11-13 23:06:10 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-11-13 23:06:10 +0800 |
| commit | c21c7e74fee74c6201f14eaa664784aae79a52a2 (patch) | |
| tree | 938df473cd954801772feff8c026490cefb3b314 /libsolidity/interface/CompilerStack.cpp | |
| parent | c237013911aa5bb6102e1262e6aa62178c0f02e0 (diff) | |
| parent | 9a4fd946c349712cab2c9f77f4dc08fb6e2ca68f (diff) | |
| download | dexon-solidity-c21c7e74fee74c6201f14eaa664784aae79a52a2.tar dexon-solidity-c21c7e74fee74c6201f14eaa664784aae79a52a2.tar.gz dexon-solidity-c21c7e74fee74c6201f14eaa664784aae79a52a2.tar.bz2 dexon-solidity-c21c7e74fee74c6201f14eaa664784aae79a52a2.tar.lz dexon-solidity-c21c7e74fee74c6201f14eaa664784aae79a52a2.tar.xz dexon-solidity-c21c7e74fee74c6201f14eaa664784aae79a52a2.tar.zst dexon-solidity-c21c7e74fee74c6201f14eaa664784aae79a52a2.zip | |
Merge pull request #5398 from ethereum/smt_model_scanner
Add Scanner function that prints source based on SourceLocation
Diffstat (limited to 'libsolidity/interface/CompilerStack.cpp')
| -rw-r--r-- | libsolidity/interface/CompilerStack.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/libsolidity/interface/CompilerStack.cpp b/libsolidity/interface/CompilerStack.cpp index 7aa0faa7..441c7897 100644 --- a/libsolidity/interface/CompilerStack.cpp +++ b/libsolidity/interface/CompilerStack.cpp @@ -284,7 +284,7 @@ bool CompilerStack::analyze() { SMTChecker smtChecker(m_errorReporter, m_smtQuery); for (Source const* source: m_sourceOrder) - smtChecker.analyze(*source->ast); + smtChecker.analyze(*source->ast, source->scanner); } } catch(FatalError const&) |