Skip to content

Commit 12ed922

Browse files
naureAurélien Nicolas
andauthored
fix/program-size3: fix merge conflict (#619)
Fix an invisible merge conflict between #611 and #608. Co-authored-by: Aurélien Nicolas <[email protected]>
1 parent c548dc8 commit 12ed922

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

ceno_zkvm/src/tables/program.rs

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -158,7 +158,7 @@ impl<E: ExtensionField> TableCircuit<E> for ProgramTableCircuit<E> {
158158
let pc_base = program.base_address;
159159
assert!(num_instructions <= config.program_size);
160160

161-
let mut fixed = RowMajorMatrix::<E::BaseField>::new(PROGRAM_SIZE, num_fixed);
161+
let mut fixed = RowMajorMatrix::<E::BaseField>::new(config.program_size, num_fixed);
162162

163163
fixed
164164
.par_iter_mut()
@@ -195,7 +195,7 @@ impl<E: ExtensionField> TableCircuit<E> for ProgramTableCircuit<E> {
195195
prog_mlt[i] = *mlt;
196196
}
197197

198-
let mut witness = RowMajorMatrix::<E::BaseField>::new(PROGRAM_SIZE, num_witin);
198+
let mut witness = RowMajorMatrix::<E::BaseField>::new(config.program_size, num_witin);
199199
witness
200200
.par_iter_mut()
201201
.with_min_len(MIN_PAR_SIZE)

0 commit comments

Comments
 (0)