isa: fix extension ISA to be added to ISA segment

AluVM · Nov 16, 2023 · dcfeba7 · dcfeba7
1 parent 9f39f72
commit dcfeba7
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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
     }