chore: fix compilation

noir-lang · Sep 29, 2023 · 5d76dd7 · 5d76dd7
1 parent 0939ab8
commit 5d76dd7
Show file tree

Hide file tree

Showing 6 changed files with 6 additions and 1 deletion.
diff --git a/tooling/nargo_cli/src/cli/codegen_verifier_cmd.rs b/tooling/nargo_cli/src/cli/codegen_verifier_cmd.rs
@@ -76,6 +76,7 @@ fn smart_contract_for_package(
         workspace,
         package,
         compile_options,
+        false,
         np_language,
         &is_opcode_supported,
     )?;

diff --git a/tooling/nargo_cli/src/cli/compile_cmd.rs b/tooling/nargo_cli/src/cli/compile_cmd.rs
@@ -202,7 +202,7 @@ fn compile_program(
         crate_id,
         compile_options,
         cached_program,
-        force_compile,
+        force_recompile,
     ) {
         Ok(program_and_warnings) => program_and_warnings,
         Err(errors) => {

diff --git a/tooling/nargo_cli/src/cli/execute_cmd.rs b/tooling/nargo_cli/src/cli/execute_cmd.rs
@@ -60,6 +60,7 @@ pub(crate) fn run(
             &workspace,
             package,
             &args.compile_options,
+            false,
             np_language,
             &|opcode| opcode_support.is_opcode_supported(opcode),
         )?;

diff --git a/tooling/nargo_cli/src/cli/info_cmd.rs b/tooling/nargo_cli/src/cli/info_cmd.rs
@@ -63,6 +63,7 @@ pub(crate) fn run(
         np_language,
         &opcode_support,
         &args.compile_options,
+        false,
     )?;
 
     let program_info = binary_packages

diff --git a/tooling/nargo_cli/src/cli/prove_cmd.rs b/tooling/nargo_cli/src/cli/prove_cmd.rs
@@ -59,6 +59,7 @@ pub(crate) fn run(
             &workspace,
             package,
             &args.compile_options,
+            false,
             np_language,
             &|opcode| opcode_support.is_opcode_supported(opcode),
         )?;

diff --git a/tooling/nargo_cli/src/cli/verify_cmd.rs b/tooling/nargo_cli/src/cli/verify_cmd.rs
@@ -50,6 +50,7 @@ pub(crate) fn run(
             &workspace,
             package,
             &args.compile_options,
+            false,
             np_language,
             &|opcode| opcode_support.is_opcode_supported(opcode),
         )?;