merge fix

AztecProtocol · Dec 6, 2023 · 8acce8a · 8acce8a
1 parent b61f85d
commit 8acce8a
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/compiler/src/lib.rs b/compiler/src/lib.rs
@@ -368,7 +368,7 @@ fn compile<T: FieldElement, Q: QueryCallback<T>>(
 
     // md: we inline intermediate polynomials here, as honk does not have a notion of an intermediate
     let mut mut_analyzed = analyzed;
-    mut_analyzed.identities = inline_intermediate_polynomials(&mut_analyzed);
+    mut_analyzed.identities = mut_analyzed.identities_with_inlined_intermediate_polynomials();
 
     let optimized_pil_file_name = output_dir.join(format!(
         "{}_opt.pil",

diff --git a/powdr_cli/src/main.rs b/powdr_cli/src/main.rs
@@ -458,7 +458,7 @@ fn run_command(command: Commands) {
                     prove_with,
                     export_csv,
                     csv_mode,
-                    bname,
+                    bname
                 )) {
                     Ok(()) => {}
                     Err(errors) => {