src/simulator/scheduler-map.cc
changeset 231 8516b1203fbd
parent 196 9d243651d00c
child 286 57e6a2006962
equal deleted inserted replaced
230:e10019b52910 231:8516b1203fbd
    72 
    72 
    73 
    73 
    74 EventId
    74 EventId
    75 SchedulerMap::RealInsert (EventImpl *event, Scheduler::EventKey key)
    75 SchedulerMap::RealInsert (EventImpl *event, Scheduler::EventKey key)
    76 {
    76 {
    77   std::pair<EventMapI,bool> result = m_list.insert (std::make_pair (key, event));
    77   std::pair<EventMapI,bool> result;
       
    78   result = m_list.insert (std::make_pair (key, event));
    78   assert (result.second);
    79   assert (result.second);
    79   return EventId (event, key.m_ns, key.m_uid);
    80   return EventId (event, key.m_ns, key.m_uid);
    80 }
    81 }
    81 
    82 
    82 bool
    83 bool