- for (auto* exec : *execs) {
- // Remove the first occurrence of simcall:
- auto j = boost::range::find(exec->simcalls_, &issuer->simcall_);
- if (j != exec->simcalls_.end())
- exec->simcalls_.erase(j);
- }
- simix::marshal<int>(issuer->simcall_.result_, -1);
+ for (auto* exec : execs)
+ exec->unregister_simcall(&issuer->simcall_);
+ // default result (-1) is set in actor::ExecutionWaitanySimcall