diff --git a/config/rv32gc/coverage.svh b/config/rv32gc/coverage.svh
index ee996e11c..115dbd5f1 100644
--- a/config/rv32gc/coverage.svh
+++ b/config/rv32gc/coverage.svh
@@ -45,4 +45,3 @@
 `include "EndianM_coverage.svh"
 `include "EndianS_coverage.svh"
 `include "ExceptionsM_coverage.svh"
-`include "ExceptionsInstr_coverage.svh"
diff --git a/config/rv64gc/coverage.svh b/config/rv64gc/coverage.svh
index a2d691e4e..e7c574020 100644
--- a/config/rv64gc/coverage.svh
+++ b/config/rv64gc/coverage.svh
@@ -44,7 +44,6 @@
 `include "EndianM_coverage.svh"
 `include "EndianS_coverage.svh"
 `include "ExceptionsM_coverage.svh"
-`include "ExceptionsInstr_coverage.svh"
 // `include "RV64VM_PMP_coverage.svh"
 // `include "RV64CBO_VM_coverage.svh"
 // `include "RV64CBO_PMP_coverage.svh"