define No_Of_Evts in StatCounters

src_Core/CPU/CsrFile.bsv

@@ -40,6 +40,7 @@
 `include "ProcConfig.bsv"
 import Types::*;
 import ProcTypes::*;
+import StatCounters::*;
 import DefaultValue::*;
 import ConcatReg::*;
 import ConfigReg::*;

src_Core/RISCY_OOO/procs/lib/ProcTypes.bsv

@@ -1049,11 +1049,11 @@ endfunction
 function x addPc(x cap, Bit#(12) inc) provisos (Add#(f, 12, c), CHERICap::CHERICap#(x, a, b, c, d, e)) = setAddrUnsafe(cap, getAddr(cap) + signExtend(inc));
 
 `ifdef PERFORMANCE_MONITORING
-`ifdef CONTRACTS_VERIFY
-typedef 128 No_Of_Evts;
-`else
-typedef 112 No_Of_Evts;
-`endif
+//`ifdef CONTRACTS_VERIFY
+//typedef 128 No_Of_Evts;
+//`else
+//typedef 112 No_Of_Evts;
+//`endif
 typedef   8 Report_Width;
 typedef  64 Counter_Width;
 typedef  29 No_Of_Ctrs;