chore: remove redundant line

noir-lang · Feb 3, 2023 · 988d3be · 988d3be
1 parent 05fcc61
commit 988d3be
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/crates/nargo/src/cli/prove_cmd.rs b/crates/nargo/src/cli/prove_cmd.rs
@@ -133,9 +133,7 @@ fn solve_witness(
         })?;
 
     let backend = crate::backends::ConcreteBackend;
-    let solver_res = backend.solve(&mut solved_witness, compiled_program.circuit.opcodes.clone());
-
-    solver_res.map_err(CliError::from)?;
+    backend.solve(&mut solved_witness, compiled_program.circuit.opcodes.clone())?;
 
     Ok(solved_witness)
 }