Skip to content

Commit 7e1508b

Browse files
committed
Fix missing newline
1 parent 1784a33 commit 7e1508b

File tree

2 files changed

+11
-5
lines changed

2 files changed

+11
-5
lines changed

executor/src/witgen/jit/compiler.rs

+10-4
Original file line numberDiff line numberDiff line change
@@ -393,10 +393,16 @@ fn format_effect<T: FieldElement>(effect: &Effect<T, Variable>, is_top_level: bo
393393
})
394394
.format(", ")
395395
.to_string();
396-
let var_decls = result_vars
397-
.iter()
398-
.map(|var_name| set(var_name, "FieldElement::default()", is_top_level, true))
399-
.format("\n");
396+
let var_decls = if result_vars.len() > 0 {
397+
result_vars
398+
.iter()
399+
.map(|var_name| set(var_name, "FieldElement::default()", is_top_level, true))
400+
.format("\n")
401+
.to_string()
402+
+ "\n"
403+
} else {
404+
"".to_string()
405+
};
400406
format!(
401407
"{var_decls}assert!(call_machine(mutable_state, {id}.into(), MutSlice::from((&mut [{args}]).as_mut_slice())));"
402408
)

jit-compiler/src/compiler.rs

+1-1
Original file line numberDiff line numberDiff line change
@@ -84,7 +84,7 @@ fn cargo_toml(opt_level: Option<u32>) -> String {
8484
}
8585
}
8686

87-
const DEBUG: bool = false;
87+
const DEBUG: bool = true;
8888

8989
/// Compiles the given code and returns the path to the
9090
/// temporary directory containing the compiled library

0 commit comments

Comments
 (0)