From adab11cedd9d7d996be6b55bd5f963f695fa6a5c Mon Sep 17 00:00:00 2001
From: Nathan Huckleberry <nhuckleberry@ulvetanna.io>
Date: Fri, 17 May 2024 19:32:03 +0000
Subject: [PATCH] Fixups after rebasing to main.

---
 recursion/program/src/hints.rs | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/recursion/program/src/hints.rs b/recursion/program/src/hints.rs
index 6bb35eba42..fd7d6649a0 100644
--- a/recursion/program/src/hints.rs
+++ b/recursion/program/src/hints.rs
@@ -513,9 +513,9 @@ impl<'a, A: MachineAir<BabyBear>> Hintable<C>
     fn read(builder: &mut Builder<C>) -> Self::HintVariable {
         let vk = VerifyingKeyHint::<'a, BabyBearPoseidon2, A>::read(builder);
         let shard_proofs = Vec::<ShardProofHint<'a, BabyBearPoseidon2, A>>::read(builder);
-        let leaf_challenger = DuplexChallenger::<InnerVal, InnerPerm, 16>::read(builder);
+        let leaf_challenger = DuplexChallenger::<InnerVal, InnerPerm, 24>::read(builder);
         let initial_reconstruct_challenger =
-            DuplexChallenger::<InnerVal, InnerPerm, 16>::read(builder);
+            DuplexChallenger::<InnerVal, InnerPerm, 24>::read(builder);
         let is_complete = builder.hint_var();
 
         SP1RecursionMemoryLayoutVariable {
@@ -626,7 +626,7 @@ impl<'a, A: MachineAir<BabyBear>> Hintable<C>
         let sp1_vk = VerifyingKeyHint::<'a, BabyBearPoseidon2, RiscvAir<_>>::read(builder);
         let committed_value_digest = Vec::<Vec<InnerVal>>::read(builder);
         let deferred_proofs_digest = Vec::<InnerVal>::read(builder);
-        let leaf_challenger = DuplexChallenger::<InnerVal, InnerPerm, 16>::read(builder);
+        let leaf_challenger = DuplexChallenger::<InnerVal, InnerPerm, 24>::read(builder);
         let end_pc = InnerVal::read(builder);
         let end_shard = InnerVal::read(builder);