diff --git a/basic/src/lib.rs b/basic/src/lib.rs
index 35168ea..55fea07 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)
             }