aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--riscv/insns/fli_h.h2
1 files changed, 1 insertions, 1 deletions
diff --git a/riscv/insns/fli_h.h b/riscv/insns/fli_h.h
index ddf41a9..71fd64d 100644
--- a/riscv/insns/fli_h.h
+++ b/riscv/insns/fli_h.h
@@ -1,4 +1,4 @@
-require_extension(EXT_ZFH);
+require_either_extension(EXT_ZFH, EXT_ZVFH);
require_extension(EXT_ZFA);
require_fp;
{