aboutsummaryrefslogtreecommitdiffstats
path: root/libsolidity/interface/Exceptions.h
diff options
context:
space:
mode:
authorchriseth <c@ethdev.com>2015-10-28 00:45:58 +0800
committerchriseth <c@ethdev.com>2015-10-28 00:45:58 +0800
commit56f5d5885090a03ea9223f2210e70b6c78a1cb75 (patch)
tree2e36f5bcc884a579ab4ae7198b982ceadd8e7349 /libsolidity/interface/Exceptions.h
parenta957322fd7ff87460e5de3b1c5abcfb021acc1b2 (diff)
downloaddexon-solidity-56f5d5885090a03ea9223f2210e70b6c78a1cb75.tar.gz
dexon-solidity-56f5d5885090a03ea9223f2210e70b6c78a1cb75.tar.zst
dexon-solidity-56f5d5885090a03ea9223f2210e70b6c78a1cb75.zip
Rename error type.
Diffstat (limited to 'libsolidity/interface/Exceptions.h')
-rw-r--r--libsolidity/interface/Exceptions.h2
1 files changed, 1 insertions, 1 deletions
diff --git a/libsolidity/interface/Exceptions.h b/libsolidity/interface/Exceptions.h
index 830ec286..14be3c3d 100644
--- a/libsolidity/interface/Exceptions.h
+++ b/libsolidity/interface/Exceptions.h
@@ -47,7 +47,7 @@ public:
DocstringParsingError,
ParserError,
TypeError,
- FormalError,
+ Why3TranslatorError,
Warning
};