diff --git a/config/rv64gc/coverage.svh b/config/rv64gc/coverage.svh
index 20d5108d6..4e863b288 100644
--- a/config/rv64gc/coverage.svh
+++ b/config/rv64gc/coverage.svh
@@ -21,7 +21,7 @@
 `include "RV64Zcd_coverage.svh"
 
 // Privileged extensions
-`include "RVVM_coverage.svh"
+`include "VM_coverage.svh"
 `include "ZicsrM_coverage.svh"
 // `include "RV64VM_PMP_coverage.svh"
 // `include "RV64CBO_VM_coverage.svh"