From dcfeba7679fbeb0ca1507393dd269280652438e4 Mon Sep 17 00:00:00 2001 From: Dr Maxim Orlovsky Date: Thu, 16 Nov 2023 16:58:45 +0100 Subject: [PATCH] isa: fix extension ISA to be added to ISA segment --- src/isa/exec.rs | 1 + 1 file changed, 1 insertion(+) 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 }