Added missing ifdef

2021-07-12 13:30:53 +01:00
parent c37c611522
commit 7b1b564d62
1 changed files with 2 additions and 1 deletions
--- a/src_Core/RISCY_OOO/procs/RV64G_OOO/CommitStage.bsv
+++ b/src_Core/RISCY_OOO/procs/RV64G_OOO/CommitStage.bsv
@@ -1326,10 +1326,11 @@ module mkCommitStage#(CommitInput inIfc)(CommitStage);
        events.evt_FP = fpuCnt;
        events.evt_FENCE = fenceCnt;
        events_reg <= events;
-
+`ifdef CONTRACTS_VERIFY
        inIfc.updateTargets(targets);
        inIfc.updateReturnTargets(returnTargets);
 `endif
+`endif

 `ifdef RVFI
        rvfiQ.enq(rvfis);