diff options
| author | Leonardo Alt <leo@ethereum.org> | 2018-10-25 22:00:09 +0800 |
|---|---|---|
| committer | Leonardo Alt <leo@ethereum.org> | 2018-11-15 16:12:42 +0800 |
| commit | 70bb0eaf95ab6a549f875b845395b31a5d49f99e (patch) | |
| tree | 99853ad465f155d92598d2a152510b066efa395a /libsolidity/formal/SMTPortfolio.h | |
| parent | 92ebf6606764748229acf07e83dbe3824bde540e (diff) | |
| download | dexon-solidity-70bb0eaf95ab6a549f875b845395b31a5d49f99e.tar.gz dexon-solidity-70bb0eaf95ab6a549f875b845395b31a5d49f99e.tar.zst dexon-solidity-70bb0eaf95ab6a549f875b845395b31a5d49f99e.zip | |
[SMTChecker] Implement uninterpreted functions and use it for blockhash()
Diffstat (limited to 'libsolidity/formal/SMTPortfolio.h')
| -rw-r--r-- | libsolidity/formal/SMTPortfolio.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/libsolidity/formal/SMTPortfolio.h b/libsolidity/formal/SMTPortfolio.h index 96c7ff57..50bd87d4 100644 --- a/libsolidity/formal/SMTPortfolio.h +++ b/libsolidity/formal/SMTPortfolio.h @@ -49,7 +49,7 @@ public: void push() override; void pop() override; - void declareFunction(std::string _name, Sort _domain, Sort _codomain) override; + void declareFunction(std::string _name, std::vector<Sort> const& _domain, Sort _codomain) override; void declareInteger(std::string _name) override; void declareBool(std::string _name) override; |