anchor.diff:            || RTM <- RTMs ],
       ok.
   
  --spec trigger_delete_if_done(tx_state:tx_state()) -> ok.
  -trigger_delete_if_done(TxState) ->
  +-spec trigger_delete_if_done(tx_state:tx_state(), state()) -> ok.
  +trigger_delete_if_done(TxState, State) ->
       ?TRACE("tx_tm_rtm:trigger delete?~n", []),
       case (tx_state:is_decided(TxState)) of
           ?undecided -> ok;
  
positive.code:                     msg_tp_do_commit_abort(TP, {PaxosID, RTLogEntry, comm:this(), ItemId}, Decision),
                      %% record in txstate and try to delete entry?
                      NewTxState = tx_state:inc_numinformed(TxState),
                      trigger_delete_if_done(NewTxState),
                      set_entry(NewTxState, State);
                  _ ->
                      %% RTMs check whether everything is done
                      trigger_delete_if_done(TxState)
              end
      end,
      State;
  
negative.code:                                     TmpTxState
                              end,
                          _ = set_entry(NewTxState, State),
                          trigger_delete_if_done(NewTxState, State)
                  end,
              State
      end;
  