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"