aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--libsolidity/interface/ErrorReporter.cpp19
-rw-r--r--libsolidity/interface/ErrorReporter.h4
-rw-r--r--libsolidity/interface/Exceptions.cpp3
-rw-r--r--libsolidity/interface/Exceptions.h1
-rw-r--r--solc/jsonCompiler.cpp4
5 files changed, 0 insertions, 31 deletions
diff --git a/libsolidity/interface/ErrorReporter.cpp b/libsolidity/interface/ErrorReporter.cpp
index 2cbb952c..6e2667a5 100644
--- a/libsolidity/interface/ErrorReporter.cpp
+++ b/libsolidity/interface/ErrorReporter.cpp
@@ -165,22 +165,3 @@ void ErrorReporter::docstringParsingError(string const& _description)
_description
);
}
-
-void ErrorReporter::why3TranslatorError(ASTNode const& _location, std::string const& _description)
-{
- error(
- Error::Type::Why3TranslatorError,
- _location.location(),
- _description
- );
-}
-
-void ErrorReporter::fatalWhy3TranslatorError(ASTNode const& _location, std::string const& _description)
-{
- fatalError(
- Error::Type::Why3TranslatorError,
- _location.location(),
- _description
- );
-}
-
diff --git a/libsolidity/interface/ErrorReporter.h b/libsolidity/interface/ErrorReporter.h
index 83324446..e5605d24 100644
--- a/libsolidity/interface/ErrorReporter.h
+++ b/libsolidity/interface/ErrorReporter.h
@@ -79,10 +79,6 @@ public:
void docstringParsingError(std::string const& _location);
- void why3TranslatorError(ASTNode const& _location, std::string const& _description);
-
- void fatalWhy3TranslatorError(ASTNode const& _location, std::string const& _description);
-
ErrorList const& errors() const;
void clear();
diff --git a/libsolidity/interface/Exceptions.cpp b/libsolidity/interface/Exceptions.cpp
index deee92aa..9f2a2d06 100644
--- a/libsolidity/interface/Exceptions.cpp
+++ b/libsolidity/interface/Exceptions.cpp
@@ -46,9 +46,6 @@ Error::Error(Type _type, SourceLocation const& _location, string const& _descrip
case Type::TypeError:
m_typeName = "TypeError";
break;
- case Type::Why3TranslatorError:
- m_typeName = "Why3TranslatorError";
- break;
case Type::Warning:
m_typeName = "Warning";
break;
diff --git a/libsolidity/interface/Exceptions.h b/libsolidity/interface/Exceptions.h
index 5fdb8f11..09301b10 100644
--- a/libsolidity/interface/Exceptions.h
+++ b/libsolidity/interface/Exceptions.h
@@ -60,7 +60,6 @@ public:
ParserError,
TypeError,
SyntaxError,
- Why3TranslatorError,
Warning
};
diff --git a/solc/jsonCompiler.cpp b/solc/jsonCompiler.cpp
index 1d31ea30..adf991d6 100644
--- a/solc/jsonCompiler.cpp
+++ b/solc/jsonCompiler.cpp
@@ -164,10 +164,6 @@ string compile(StringMap const& _sources, bool _optimize, CStyleReadFileCallback
// "srcmapRuntime" = "0:1:2",
// "assembly" = {}
// }
- // },
- // "formal": {
- // "errors": [ "Error 1" ],
- // "why3": "why3 source"
// }
// }
Json::Value output = Json::objectValue;