diff --git a/src_Core/RISCY_OOO/procs/RV64G_OOO/CommitStage.bsv b/src_Core/RISCY_OOO/procs/RV64G_OOO/CommitStage.bsv
index c9587af..50df284 100644
--- 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);