From 0613912d8ed21f3627b834a53f11c7f594699bc5 Mon Sep 17 00:00:00 2001
From: David Harris <David_Harris@hmc.edu>
Date: Wed, 18 Sep 2024 03:55:36 -0700
Subject: [PATCH] Updated rv64gc coverage file to new path

---
 config/rv64gc/coverage.svh | 10 ++++------
 1 file changed, 4 insertions(+), 6 deletions(-)

diff --git a/config/rv64gc/coverage.svh b/config/rv64gc/coverage.svh
index ee811e922..316ef81af 100644
--- a/config/rv64gc/coverage.svh
+++ b/config/rv64gc/coverage.svh
@@ -5,9 +5,7 @@
 // This file is needed in the config subdirectory for each config supporting coverage.
 // It defines which extensions are enabled for that config.
 
-`define COVER_RV64I
-`define COVER_RV64M
-`define COVER_RV64F
-`include "coverage/RV64I_coverage.svh"
-`include "coverage/RV64M_coverage.svh"
-`include "coverage/RV64F_coverage.svh"
+`include "RV64I_coverage.svh"
+`include "RV64M_coverage.svh"
+`include "RV64F_coverage.svh"
+`include "RV64Zicond_coverage.svh"