diff options
| author | chriseth <chris@ethereum.org> | 2017-11-22 22:20:26 +0800 |
|---|---|---|
| committer | chriseth <chris@ethereum.org> | 2017-11-22 22:20:26 +0800 |
| commit | 762d591a4755fbabfe8d2556bab10b77ec1d5bb5 (patch) | |
| tree | dbb543e2c7a56387938a971b5b1d7550c85bbfb9 /libsolidity/formal/SMTLib2Interface.h | |
| parent | 7fc7fa4293707a6540c3483fcc133e0934e8f229 (diff) | |
| download | dexon-solidity-762d591a4755fbabfe8d2556bab10b77ec1d5bb5.tar.gz dexon-solidity-762d591a4755fbabfe8d2556bab10b77ec1d5bb5.tar.zst dexon-solidity-762d591a4755fbabfe8d2556bab10b77ec1d5bb5.zip | |
Introduce sorts for smt expressions.
Diffstat (limited to 'libsolidity/formal/SMTLib2Interface.h')
| -rw-r--r-- | libsolidity/formal/SMTLib2Interface.h | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/libsolidity/formal/SMTLib2Interface.h b/libsolidity/formal/SMTLib2Interface.h index e827449f..63188acd 100644 --- a/libsolidity/formal/SMTLib2Interface.h +++ b/libsolidity/formal/SMTLib2Interface.h @@ -68,14 +68,6 @@ private: ReadCallback::Callback m_queryCallback; std::vector<std::string> m_accumulatedOutput; - - enum class SMTVariableType { - Function, - Integer, - Bool - }; - - std::map<std::string,SMTVariableType> m_variables; }; } |