diff --git a/config/rv32gc/coverage.svh b/config/rv32gc/coverage.svh index 365b60e49..5e6ba871f 100644 --- a/config/rv32gc/coverage.svh +++ b/config/rv32gc/coverage.svh @@ -37,7 +37,6 @@ `define ZCB_COVERAGE `define ZCB_M_COVERAGE `define ZCB_ZBB_COVERAGE -`define ZCB_ZBA_COVERAGE `define ZCF_COVERAGE `define ZCD_COVERAGE `define ZICSR_COVERAGE