From c2b33adc74644cdcaf37b222ef52b7ecadd67ea2 Mon Sep 17 00:00:00 2001 From: Tomas Fabrizio Orsi Date: Mon, 21 Jul 2025 14:38:28 -0300 Subject: [PATCH] chore: add verbatim_doc_comment in ExecCmd::inputs_path Signed-off-by: Tomas Fabrizio Orsi --- bin/miden-cli/src/commands/exec.rs | 1 + 1 file changed, 1 insertion(+) diff --git a/bin/miden-cli/src/commands/exec.rs b/bin/miden-cli/src/commands/exec.rs index d8fb79ae0..7c67ca173 100644 --- a/bin/miden-cli/src/commands/exec.rs +++ b/bin/miden-cli/src/commands/exec.rs @@ -38,6 +38,7 @@ pub struct ExecCmd { /// { key = "0x0000000000000000000000000000000000000000000000000000000000000000" , values = ["1", "2"]}, /// ] #[arg(long, short)] + #[clap(verbatim_doc_comment)] inputs_path: Option, /// Print the output stack grouped into words