diff --git a/config/rv32gc/coverage.svh b/config/rv32gc/coverage.svh
index 96362fdf3..217e8788a 100644
--- a/config/rv32gc/coverage.svh
+++ b/config/rv32gc/coverage.svh
@@ -22,4 +22,3 @@
 
 // Privileged extensions
 `include "ZicsrM_coverage.svh"
-`include "VM_coverage.svh"