From 07f28f39e4b2bb70512a15ca7e57da87080a2bdd Mon Sep 17 00:00:00 2001
From: Morgan Thomas <morgan.a.s.thomas@gmail.com>
Date: Thu, 11 Apr 2024 13:13:59 -0400
Subject: [PATCH] add missing case for sra32 to basic machine

---
 basic/src/lib.rs | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/basic/src/lib.rs b/basic/src/lib.rs
index 35168eab..55fea076 100644
--- a/basic/src/lib.rs
+++ b/basic/src/lib.rs
@@ -1122,6 +1122,9 @@ impl<F: PrimeField32 + TwoAdicField> Machine<F> for BasicMachine<F> {
             <Shr32Instruction as Instruction<Self, F>>::OPCODE => {
                 Shr32Instruction::execute_with_advice::<Adv>(self, ops, advice)
             }
+            <Sra32Instruction as Instruction<Self, F>>::OPCODE => {
+                Sra32Instruction::execute_with_advice::<Adv>(self, ops, advice)
+            }
             <Lt32Instruction as Instruction<Self, F>>::OPCODE => {
                 Lt32Instruction::execute_with_advice::<Adv>(self, ops, advice)
             }