diff options
| author | Li Xuanji <xuanji@gmail.com> | 2018-04-11 19:20:39 +0800 |
|---|---|---|
| committer | Alex Beregszaszi <alex@rtfs.hu> | 2018-04-12 03:08:41 +0800 |
| commit | 576964bd016e265db9720946d626b8af9b4e4b14 (patch) | |
| tree | fc8512232f6e5e41a367533a60aed3b74a7bfb0f | |
| parent | d50d1f0ac1841a1d287a216451e93573fc07474e (diff) | |
| download | dexon-solidity-576964bd016e265db9720946d626b8af9b4e4b14.tar.gz dexon-solidity-576964bd016e265db9720946d626b8af9b4e4b14.tar.zst dexon-solidity-576964bd016e265db9720946d626b8af9b4e4b14.zip | |
Mark --formal as deprecated in CLI options
| -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 8f81e799..fc03d497 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; |