if (mailbox_.count(cast_recv->get_mailbox()) > 0 and
mailbox_.at(cast_recv->get_mailbox()) > 0) {
aid_value--; // This means we have waiting recv corresponding to this recv
- } else {
- aid_value++;
- }
+ } else {
+ aid_value++;
+ }
}
const CommSendTransition* cast_send = dynamic_cast<CommSendTransition const*>(transition);