Fix call. (#2550)

chriseth · web-flow · commit bc3bea160ab4 · 2025-03-14T13:43:33.000Z
diff --git a/executor/src/witgen/jit/compiler.rs b/executor/src/witgen/jit/compiler.rs
@@ -583,7 +583,7 @@ fn prover_function_code<T: FieldElement, D: DefinitionFetcher>(
         ),
         ProverFunctionComputation::ProvideIfUnknown(code) => {
             assert!(!f.compute_multi);
-            format!("({}).call()", codegen.generate_code_for_expression(code)?)
+            format!("({}).call(())", codegen.generate_code_for_expression(code)?)
         }
         ProverFunctionComputation::HandleQueryInputOutput(branches) => {
             let indent = "        ";

Original file line number	Diff line number	Diff line change
`@@ -583,7 +583,7 @@ fn prover_function_code<T: FieldElement, D: DefinitionFetcher>(`
`583`	`583`	`),`
`584`	`584`	`ProverFunctionComputation::ProvideIfUnknown(code) => {`
`585`	`585`	`assert!(!f.compute_multi);`
`586`		`- format!("({}).call()", codegen.generate_code_for_expression(code)?)`
	`586`	`+ format!("({}).call(())", codegen.generate_code_for_expression(code)?)`
`587`	`587`	`}`
`588`	`588`	`ProverFunctionComputation::HandleQueryInputOutput(branches) => {`
`589`	`589`	`let indent = " ";`