This commit is contained in:
Nicholas Ward 2023-04-12 12:23:54 -07:00
parent f718f8570b
commit 975a35c3e0

View File

@ -738,7 +738,10 @@ impl<F: RichField + Extendable<D>, const D: usize> CircuitBuilder<F, D> {
}
/// Builds a "full circuit", with both prover and verifier data.
fn build_inner<C: GenericConfig<D, F = F>>(mut self, deterministic: bool) -> CircuitData<F, C, D>
fn build_inner<C: GenericConfig<D, F = F>>(
mut self,
deterministic: bool,
) -> CircuitData<F, C, D>
where
[(); C::HCO::WIDTH]:,
[(); C::HCI::WIDTH]:,