From 92c305ca3b6b71444710577313a386e6d7060e1c Mon Sep 17 00:00:00 2001
From: David Harris <David_Harris@hmc.edu>
Date: Sat, 7 Sep 2024 06:26:54 -0700
Subject: [PATCH] Starting to define per-config coverage

---
 config/rv32gc/coverage_extensions.svh | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/config/rv32gc/coverage_extensions.svh b/config/rv32gc/coverage_extensions.svh
index 38dff14f4..d33bc91b0 100644
--- a/config/rv32gc/coverage_extensions.svh
+++ b/config/rv32gc/coverage_extensions.svh
@@ -6,5 +6,4 @@
 // It defines which extensions are enabled for that config.
 
 `define COVER_BASE_RV32I
-
-`include "coverage/RV32I_coverage.svh"
\ No newline at end of file
+`include "coverage/RV32I_coverage.svh"