From 8fcd126b34321b25c28c5cf2f03c01cf5c5ffeb7 Mon Sep 17 00:00:00 2001 From: Georg Wiese Date: Mon, 23 Oct 2023 09:01:10 +0000 Subject: [PATCH] Fix lint --- backend/src/pilstark/estark.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/backend/src/pilstark/estark.rs b/backend/src/pilstark/estark.rs index f423b9b74a..b7b7b558df 100644 --- a/backend/src/pilstark/estark.rs +++ b/backend/src/pilstark/estark.rs @@ -113,7 +113,7 @@ impl BackendImpl for EStark { &setup.program, &pil, &self.params, - &"".to_string(), + "", ) .unwrap();