diff --git a/cores/VexRiscv/checks.cfg b/cores/VexRiscv/checks.cfg
index 7626b7cc..a0f4239d 100644
--- a/cores/VexRiscv/checks.cfg
+++ b/cores/VexRiscv/checks.cfg
@@ -1,6 +1,6 @@
 
 [options]
-isa rv32i
+isa rv32ic
 
 [depth]
 insn            20