diff options
Diffstat (limited to 'cli/args/mod.rs')
-rw-r--r-- | cli/args/mod.rs | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/cli/args/mod.rs b/cli/args/mod.rs index 9c113acd2..24d1237aa 100644 --- a/cli/args/mod.rs +++ b/cli/args/mod.rs @@ -1245,6 +1245,10 @@ impl CliOptions { &self.flags.subcommand } + pub fn strace_ops(&self) -> &Option<Vec<String>> { + &self.flags.strace_ops + } + pub fn type_check_mode(&self) -> TypeCheckMode { self.flags.type_check_mode } |