diff options
Diffstat (limited to 'solc/CommandLineInterface.h')
| -rw-r--r-- | solc/CommandLineInterface.h | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/solc/CommandLineInterface.h b/solc/CommandLineInterface.h index 2af5a5e9..7c7aa4b4 100644 --- a/solc/CommandLineInterface.h +++ b/solc/CommandLineInterface.h @@ -21,7 +21,7 @@ */ #pragma once -#include <libsolidity/CompilerStack.h> +#include <libsolidity/interface/CompilerStack.h> #include <memory> #include <boost/program_options.hpp> @@ -57,9 +57,9 @@ private: void handleOpcode(std::string const& _contract); void handleBytecode(std::string const& _contract); void handleSignatureHashes(std::string const& _contract); - void handleMeta(DocumentationType _type, - std::string const& _contract); + void handleMeta(DocumentationType _type, std::string const& _contract); void handleGasEstimation(std::string const& _contract); + void handleFormal(); /// Tries to read from the file @a _input or interprets _input literally if that fails. /// It then tries to parse the contents and appends to m_libraries. |