From 7379593da391b16c7d04c0924c020d5e6fdac849 Mon Sep 17 00:00:00 2001 From: Shuang Wu Date: Tue, 5 Nov 2024 21:51:38 +0700 Subject: [PATCH] use new method to make a new session --- src/main.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/main.rs b/src/main.rs index a9c4cf5..1b03530 100644 --- a/src/main.rs +++ b/src/main.rs @@ -8,7 +8,7 @@ fn main() { // Create a new powdr session to make proofs for the `guest` crate. // Store all temporary and final artifacts in `powdr-target`. // Write `some_data` to channel 1 and the sum of `some_data` to channel 2. - let mut session = Session::new("./guest", "powdr-target") + let mut session = Session::builder().guest_path("./guest").out_path("powdr-target").build() .write(1, &some_data) .write(2, &some_data.iter().sum::());