summaryrefslogtreecommitdiff
path: root/cli/args/mod.rs
diff options
context:
space:
mode:
Diffstat (limited to 'cli/args/mod.rs')
-rw-r--r--cli/args/mod.rs4
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
}