diff --git a/miden/src/cli/prove.rs b/miden/src/cli/prove.rs
index 699c748486..f55913e2a2 100644
--- a/miden/src/cli/prove.rs
+++ b/miden/src/cli/prove.rs
@@ -60,11 +60,8 @@ pub struct ProveCmd {
 
 impl ProveCmd {
     pub fn get_proof_options(&self) -> Result<ProvingOptions, ExecutionOptionsError> {
-        let exec_options = ExecutionOptions::new(
-            Some(self.max_cycles.into()),
-            self.expected_cycles.into(),
-            self.tracing,
-        )?;
+        let exec_options =
+            ExecutionOptions::new(Some(self.max_cycles), self.expected_cycles, self.tracing)?;
         Ok(match self.security.as_str() {
             "96bits" => {
                 if self.rpx {
diff --git a/miden/src/cli/run.rs b/miden/src/cli/run.rs
index bc25f48c92..59c7bfbe79 100644
--- a/miden/src/cli/run.rs
+++ b/miden/src/cli/run.rs
@@ -111,12 +111,9 @@ fn run_program(params: &RunCmd) -> Result<(ExecutionTrace, [u8; 32]), Report> {
     let input_data = InputFile::read(&params.input_file, &params.assembly_file)?;
 
     // get execution options
-    let execution_options = ExecutionOptions::new(
-        Some(params.max_cycles.into()),
-        params.expected_cycles.into(),
-        params.tracing,
-    )
-    .into_diagnostic()?;
+    let execution_options =
+        ExecutionOptions::new(Some(params.max_cycles), params.expected_cycles, params.tracing)
+            .into_diagnostic()?;
 
     // fetch the stack and program inputs from the arguments
     let stack_inputs = input_data.parse_stack_inputs().map_err(Report::msg)?;
diff --git a/miden/src/examples/mod.rs b/miden/src/examples/mod.rs
index 2f8c26afc9..7ef8837c4a 100644
--- a/miden/src/examples/mod.rs
+++ b/miden/src/examples/mod.rs
@@ -76,11 +76,8 @@ pub enum ExampleType {
 
 impl ExampleOptions {
     pub fn get_proof_options(&self) -> Result<ProvingOptions, ExecutionOptionsError> {
-        let exec_options = ExecutionOptions::new(
-            Some(self.max_cycles.into()),
-            self.expected_cycles.into(),
-            self.tracing,
-        )?;
+        let exec_options =
+            ExecutionOptions::new(Some(self.max_cycles), self.expected_cycles, self.tracing)?;
         Ok(match self.security.as_str() {
             "96bits" => {
                 if self.rpx {