more concise help text

Author: oliver-butterley

charon/src/bin/charon/cli.rs

@@ -14,8 +14,7 @@ pub enum Charon {
     /// Runs charon on a single rust file (and the modules it references, if any).
     Rustc(RustcArgs),
     /// Runs charon on a cargo project. If a `[package.metadata.charon]` section is present in
-    /// `Cargo.toml`, options are also read from it (CLI options take precedence). Run `charon
-    /// cargo --help` for the full list of supported options.
+    /// `Cargo.toml`, options are also read from it.
     Cargo(CargoArgs),
     /// Print the path to the rustc toolchain used by charon.
     ToolchainPath(ToolchainPathArgs),