From d068df3bd8960e089b750ae13d40a220eaeff8bb Mon Sep 17 00:00:00 2001
From: Alexandre Joannou <aj443@cam.ac.uk>
Date: Fri, 2 Sep 2022 12:37:07 +0000
Subject: [PATCH] uncomment a verbosity check

---
 src_Core/RISCY_OOO/procs/RV64G_OOO/FetchStage.bsv | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src_Core/RISCY_OOO/procs/RV64G_OOO/FetchStage.bsv b/src_Core/RISCY_OOO/procs/RV64G_OOO/FetchStage.bsv
index 7ab1e72..a99974a 100644
--- a/src_Core/RISCY_OOO/procs/RV64G_OOO/FetchStage.bsv
+++ b/src_Core/RISCY_OOO/procs/RV64G_OOO/FetchStage.bsv
@@ -970,7 +970,7 @@ module mkFetchStage(FetchStage);
         , Dii_Parcel_Id dii_pid
 `endif
     );
-        //if (verbose)
+        if (verbose)
         $display("Redirect: newpc %h, old f_main_epoch %d, new f_main_epoch %d, specBits %x",new_pc,f_main_epoch,f_main_epoch+1, specBits);
         pc_reg[pc_redirect_port] <= new_pc;
 `ifdef RVFI_DII