diff options
| author | Alex Beregszaszi <alex@rtfs.hu> | 2018-04-12 03:57:01 +0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2018-04-12 03:57:01 +0800 |
| commit | 7626c8ab7276266c3721310d41455c393d1ee888 (patch) | |
| tree | 218a6129e6c61c5fd83a17e5be607bcefb08a7bc /solc | |
| parent | ae3fca6db21e78ff8859a03929983570fe98570e (diff) | |
| parent | 576964bd016e265db9720946d626b8af9b4e4b14 (diff) | |
| download | dexon-solidity-7626c8ab7276266c3721310d41455c393d1ee888.tar.gz dexon-solidity-7626c8ab7276266c3721310d41455c393d1ee888.tar.zst dexon-solidity-7626c8ab7276266c3721310d41455c393d1ee888.zip | |
Merge pull request #3855 from ldct/patch-3
mark --formal as deprecated in cli options
Diffstat (limited to 'solc')
| -rw-r--r-- | solc/CommandLineInterface.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/solc/CommandLineInterface.cpp b/solc/CommandLineInterface.cpp index 4da394b2..bd5e2eb1 100644 --- a/solc/CommandLineInterface.cpp +++ b/solc/CommandLineInterface.cpp @@ -636,7 +636,7 @@ Allowed options)", (g_argNatspecUser.c_str(), "Natspec user documentation of all contracts.") (g_argNatspecDev.c_str(), "Natspec developer documentation of all contracts.") (g_argMetadata.c_str(), "Combined Metadata JSON whose Swarm hash is stored on-chain.") - (g_argFormal.c_str(), "Translated source suitable for formal analysis."); + (g_argFormal.c_str(), "Translated source suitable for formal analysis. (Deprecated)"); desc.add(outputComponents); po::options_description allOptions = desc; |