Skip to content

Commit ecb88d3

Browse files
revert phrasing
1 parent bfc74bf commit ecb88d3

1 file changed

Lines changed: 2 additions & 2 deletions

File tree

charon/src/bin/charon/toml_config.rs

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -35,8 +35,8 @@ pub struct RustcTomlConfig {
3535
}
3636

3737
impl TomlConfig {
38-
/// Applies the options specified in the toml file to the cli options.
39-
/// CLI options take precedence when relevant.
38+
/// Applies the options specified in the toml file to the cli options. In case of conflict, cli
39+
/// options take precedence.
4040
pub(crate) fn apply(self, mut config: CliOpts) -> CliOpts {
4141
config.extract_opaque_bodies |= self.extract_opaque_bodies;
4242
config.start_from.extend(self.start_from);

0 commit comments

Comments
 (0)