Skip to content

Commit

Permalink
fix
Browse files Browse the repository at this point in the history
  • Loading branch information
Rumata888 committed Oct 31, 2024
1 parent e33472c commit a695988
Showing 1 changed file with 1 addition and 1 deletion.
Original file line number Diff line number Diff line change
Expand Up @@ -148,7 +148,7 @@ template <typename Builder, typename T> class bigfield {
.add_two(result.binary_basis_limbs[2].element * shift_2,
result.binary_basis_limbs[1].element * shift_1);
result.prime_basis_limb += (result.binary_basis_limbs[0].element);
uint64_t num_last_limb_bits = (can_overflow) ? NUM_LIMB_BITS : NUM_LAST_LIMB_BITS;
const size_t num_last_limb_bits = (can_overflow) ? NUM_LIMB_BITS : NUM_LAST_LIMB_BITS;
if constexpr (HasPlookup<Builder>) {
ctx->range_constrain_two_limbs(result.binary_basis_limbs[0].element.get_normalized_witness_index(),
result.binary_basis_limbs[1].element.get_normalized_witness_index(),
Expand Down

0 comments on commit a695988

Please sign in to comment.