diff --git a/rtl/ibex_core_tracing.sv b/rtl/ibex_core_tracing.sv
index 73319233..c317ae55 100644
--- a/rtl/ibex_core_tracing.sv
+++ b/rtl/ibex_core_tracing.sv
@@ -62,7 +62,7 @@ module ibex_core_tracing #(
 
   // ibex_tracer relies on the signals from the RISC-V Formal Interface
   `ifndef RVFI
-    Fatal error: RVFI needs to be defined globally.
+    $fatal("Fatal error: RVFI needs to be defined globally.");
   `endif
 
   logic        rvfi_valid;