Skip to content

Commit

Permalink
chore: fix merge
Browse files Browse the repository at this point in the history
  • Loading branch information
TomAFrench committed Oct 13, 2023
1 parent 698cfee commit fa8d012
Showing 1 changed file with 4 additions and 8 deletions.
12 changes: 4 additions & 8 deletions tooling/nargo_cli/src/cli/debug_cmd.rs
Original file line number Diff line number Diff line change
Expand Up @@ -52,14 +52,10 @@ pub(crate) fn run(
return Ok(());
};

let compiled_program = compile_bin_package(
&workspace,
package,
&args.compile_options,
true,
np_language,
&|opcode| opcode_support.is_opcode_supported(opcode),
)?;
let compiled_program =
compile_bin_package(&workspace, package, &args.compile_options, np_language, &|opcode| {
opcode_support.is_opcode_supported(opcode)
})?;

println!("[{}] Starting debugger", package.name);
let (return_value, solved_witness) =
Expand Down

0 comments on commit fa8d012

Please sign in to comment.