From af74635216eeca9dca33d49c25b7a9206f23a71c Mon Sep 17 00:00:00 2001
From: Huda-10xe <huda.sajjad@10xengineers.ai>
Date: Tue, 29 Oct 2024 09:44:18 -0700
Subject: [PATCH] reverting VM to RV64VM

---
 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 4e863b288..0491b4ab3 100644
--- a/config/rv64gc/coverage.svh
+++ b/config/rv64gc/coverage.svh
@@ -21,7 +21,7 @@
 `include "RV64Zcd_coverage.svh"
 
 // Privileged extensions
-`include "VM_coverage.svh"
+`include "RV64VM_coverage.svh"
 `include "ZicsrM_coverage.svh"
 // `include "RV64VM_PMP_coverage.svh"
 // `include "RV64CBO_VM_coverage.svh"