aboutsummaryrefslogtreecommitdiff
path: root/riscv/insns/grevi.h
diff options
context:
space:
mode:
Diffstat (limited to 'riscv/insns/grevi.h')
-rw-r--r--riscv/insns/grevi.h2
1 files changed, 1 insertions, 1 deletions
diff --git a/riscv/insns/grevi.h b/riscv/insns/grevi.h
index 46d04dd..c225176 100644
--- a/riscv/insns/grevi.h
+++ b/riscv/insns/grevi.h
@@ -2,7 +2,7 @@
if (SHAMT == xlen - 8)
require_extension(EXT_ZBB);
else
- require_extension('B');
+ require_extension(EXT_XBITMANIP);
require(SHAMT < xlen);
reg_t x = RS1;