revert properly.

chriseth · chriseth · commit 5bd8396d52db · 2025-04-02T13:17:59.000Z
diff --git a/executor/src/witgen/machines/block_machine.rs b/executor/src/witgen/machines/block_machine.rs
@@ -438,7 +438,6 @@ impl<'a, T: FieldElement> BlockMachine<'a, T> {
         RowIndex::from_i64(self.rows() as i64 - 1, self.degree)
     }
 
-    #[allow(dead_code, unreachable_code)]
     fn process_plookup_internal<Q: QueryCallback<T>>(
         &mut self,
         mutable_state: &MutableState<'a, T, Q>,
@@ -474,8 +473,6 @@ impl<'a, T: FieldElement> BlockMachine<'a, T> {
             return Ok(updates);
         }
 
-        return Ok(EvalValue::incomplete(IncompleteCause::SolvingFailed));
-
         let outer_query = OuterQuery::new(
             arguments,
             range_constraints,

Original file line number	Diff line number	Diff line change
`@@ -438,7 +438,6 @@ impl<'a, T: FieldElement> BlockMachine<'a, T> {`
`438`	`438`	`RowIndex::from_i64(self.rows() as i64 - 1, self.degree)`
`439`	`439`	`}`
`440`	`440`
`441`		`- #[allow(dead_code, unreachable_code)]`
`442`	`441`	`fn process_plookup_internal<Q: QueryCallback<T>>(`
`443`	`442`	`&mut self,`
`444`	`443`	`mutable_state: &MutableState<'a, T, Q>,`
`@@ -474,8 +473,6 @@ impl<'a, T: FieldElement> BlockMachine<'a, T> {`
`474`	`473`	`return Ok(updates);`
`475`	`474`	`}`
`476`	`475`
`477`		`- return Ok(EvalValue::incomplete(IncompleteCause::SolvingFailed));`
`478`		`-`
`479`	`476`	`let outer_query = OuterQuery::new(`
`480`	`477`	`arguments,`
`481`	`478`	`range_constraints,`