From 3f94fc3ca245604e71d0f8537127749cfc1bf8e9 Mon Sep 17 00:00:00 2001
From: Huda-10xe <huda.sajjad@10xengineers.ai>
Date: Tue, 29 Oct 2024 03:13:53 -0700
Subject: [PATCH] Changing VM covergae name to incorporate sv32 coverpoints

---
 config/rv64gc/coverage.svh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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"