diff --git a/rtl/ibex_core.sv b/rtl/ibex_core.sv
index 92942d335..2c30edc1c 100644
--- a/rtl/ibex_core.sv
+++ b/rtl/ibex_core.sv
@@ -1035,13 +1035,6 @@ module ibex_core import ibex_pkg::*; #(
 
   `endif // INC_ASSERT
 
-  ////////////////////////
-  // RF (Register File) //
-  ////////////////////////
-`ifdef RVFI
-`endif
-
-
   /////////////////////////////////////////
   // CSRs (Control and Status Registers) //
   /////////////////////////////////////////