diff options
Diffstat (limited to 'solc/CommandLineInterface.h')
| -rw-r--r-- | solc/CommandLineInterface.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/solc/CommandLineInterface.h b/solc/CommandLineInterface.h index 1cde2acb..7c7aa4b4 100644 --- a/solc/CommandLineInterface.h +++ b/solc/CommandLineInterface.h @@ -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. |