Merge pull request #715 from powdr-labs/fix-lint

Fix lint
This commit is contained in:
chriseth
2023-10-23 10:01:22 +00:00
committed by GitHub

View File

@@ -113,7 +113,7 @@ impl<F: FieldElement> BackendImpl<F> for EStark {
&setup.program,
&pil,
&self.params,
&"".to_string(),
"",
)
.unwrap();