From 8515c20c158c02e5202a753e565a38b690703e10 Mon Sep 17 00:00:00 2001
From: Huda-10xe <huda.sajjad@10xengineers.ai>
Date: Tue, 29 Oct 2024 04:25:02 -0700
Subject: [PATCH] Removing VM_Covergae from this till its complete

---
 config/rv32gc/coverage.svh | 1 -
 1 file changed, 1 deletion(-)

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"