Refactor help message for --O1 option in input_user.rs to clarify --O1 is the default option

miguelis · miguelis · commit 9fd40a34f429 · 2024-10-07T18:50:34.000+02:00
diff --git a/circom/src/input_user.rs b/circom/src/input_user.rs
@@ -367,7 +367,7 @@ mod input_processing {
                     .long("O1")
                     .hidden(false)
                     .takes_value(false)
-                    .help("Only applies signal to signal and signal to constant simplification")
+                    .help("Only applies signal to signal and signal to constant simplification. This is the default option")
                     .display_order(460)
             )
             .arg(

Original file line number	Diff line number	Diff line change
`@@ -367,7 +367,7 @@ mod input_processing {`
`367`	`367`	`.long("O1")`
`368`	`368`	`.hidden(false)`
`369`	`369`	`.takes_value(false)`
`370`		`- .help("Only applies signal to signal and signal to constant simplification")`
	`370`	`+ .help("Only applies signal to signal and signal to constant simplification. This is the default option")`
`371`	`371`	`.display_order(460)`
`372`	`372`	`)`
`373`	`373`	`.arg(`