diff --git a/src/isa/exec.rs b/src/isa/exec.rs
index 4d8bfb7..6555dc2 100644
--- a/src/isa/exec.rs
+++ b/src/isa/exec.rs
@@ -113,6 +113,7 @@ where
         set.extend(DigestOp::isa_ids());
         set.extend(Secp256k1Op::isa_ids());
         set.extend(Curve25519Op::isa_ids());
+        set.extend(Extension::isa_ids());
         set
     }