diff options
| author | Leonardo Alt <leo@ethereum.org> | 2018-11-12 19:21:25 +0800 |
|---|---|---|
| committer | Leonardo Alt <leo@ethereum.org> | 2018-11-13 20:49:29 +0800 |
| commit | 9a4fd946c349712cab2c9f77f4dc08fb6e2ca68f (patch) | |
| tree | 004d066cf446d468e67891004ad2bb02af889bf4 /libsolidity/interface | |
| parent | 82fadfd1a7c5715595ddbf6643ae494cdb6eca8c (diff) | |
| download | dexon-solidity-9a4fd946c349712cab2c9f77f4dc08fb6e2ca68f.tar.gz dexon-solidity-9a4fd946c349712cab2c9f77f4dc08fb6e2ca68f.tar.zst dexon-solidity-9a4fd946c349712cab2c9f77f4dc08fb6e2ca68f.zip | |
Add Scanner function that prints source based on SourceLocation
Diffstat (limited to 'libsolidity/interface')
| -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&) |