diff --git a/src/cairo.rs b/src/cairo.rs
index eefdc92..ae1b0fe 100644
--- a/src/cairo.rs
+++ b/src/cairo.rs
@@ -85,9 +85,7 @@ pub fn run_cairo0(
     let program = Program::from_file(&prove_args.cairo_program, Some("main"))?;
     let program_input = if let Some(program_input_file) = prove_args.program_input_file.clone() {
         let program_input_file_str = std::fs::read_to_string(program_input_file)?;
-        let program_input =
-            serde_json::from_str::<HashMap<String, serde_json::Value>>(&program_input_file_str)?;
-        program_input
+        serde_json::from_str::<HashMap<String, serde_json::Value>>(&program_input_file_str)?
     } else {
         HashMap::new()
     };
diff --git a/src/prover.rs b/src/prover.rs
index 1f05838..8214f4a 100644
--- a/src/prover.rs
+++ b/src/prover.rs
@@ -173,6 +173,7 @@ fn run_stone_prover_internal(
     Ok(())
 }
 
+#[allow(clippy::too_many_arguments)]
 fn run_prover_from_command_line_with_annotations(
     public_input_file: &PathBuf,
     private_input_file: &PathBuf,