Skip to content

Commit

Permalink
fix ci errors
Browse files Browse the repository at this point in the history
  • Loading branch information
sai-deng committed Sep 17, 2024
1 parent 27b3167 commit 43f0ea1
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions starky/src/cross_table_lookup.rs
Original file line number Diff line number Diff line change
Expand Up @@ -941,7 +941,7 @@ pub fn verify_cross_table_lookups<F: RichField + Extendable<D>, const D: usize,
ctl_extra_looking_sums: &HashMap<usize, Vec<F>>,
config: &StarkConfig,
) -> Result<()> {
let mut ctl_zs_openings: [Option<std::slice::Iter<F>>; N] =
let mut ctl_zs_openings: [_; N] =
core::array::from_fn(|i| ctl_zs_first[i].as_ref().map(|vec| vec.iter()));

for (
Expand Down Expand Up @@ -1011,7 +1011,7 @@ pub fn verify_cross_table_lookups_circuit<
ctl_extra_looking_sums: &HashMap<usize, Vec<Target>>,
inner_config: &StarkConfig,
) {
let mut ctl_zs_openings: [Option<std::slice::Iter<Target>>; N] =
let mut ctl_zs_openings: [_; N] =
core::array::from_fn(|i| ctl_zs_first[i].as_ref().map(|vec| vec.iter()));

for (
Expand Down

0 comments on commit 43f0ea1

Please sign in to comment.