Adjust description of the --trace command

knowsys · Nov 17, 2023 · 011ce94 · 011ce94
1 parent fdd5815
commit 011ce94
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/nemo-cli/src/cli.rs b/nemo-cli/src/cli.rs
@@ -109,7 +109,7 @@ impl OutputArgs {
 /// Cli arguments related to tracing
 #[derive(Debug, clap::Args)]
 pub struct TracingArgs {
-    /// Specify a fact, the origin of which should be explained
+    /// Specify a fact or multiple semicolon separated facts, the origin of which should be explained
     #[arg(long = "trace", value_delimiter = ';')]
     pub traced_facts: Option<Vec<String>>,
     /// Specify a file to save the trace.