diff options
Diffstat (limited to 'guests_macro')
| -rw-r--r-- | guests_macro/src/lib.rs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/guests_macro/src/lib.rs b/guests_macro/src/lib.rs index f87e8a5..0ab7ec2 100644 --- a/guests_macro/src/lib.rs +++ b/guests_macro/src/lib.rs @@ -8,7 +8,8 @@ pub fn proving_entrypoint(_: TokenStream, mut item: TokenStream) -> TokenStream // Put the file in zkVMs-benchmarks/guests/ let mut output = File::create("../type.txt").unwrap(); - write!(output, "{}", args); + writeln!(output, "{}", args); + write!(output, "{}", ret); item.extend(format!("#[macro_export] macro_rules! entrypoint_expr {{ |