src/simulator/scheduler-map.cc
changeset 231 8516b1203fbd
parent 196 9d243651d00c
child 286 57e6a2006962
--- a/src/simulator/scheduler-map.cc	Tue Feb 06 15:50:20 2007 +0100
+++ b/src/simulator/scheduler-map.cc	Tue Feb 06 19:59:28 2007 +0100
@@ -74,7 +74,8 @@
 EventId
 SchedulerMap::RealInsert (EventImpl *event, Scheduler::EventKey key)
 {
-  std::pair<EventMapI,bool> result = m_list.insert (std::make_pair (key, event));
+  std::pair<EventMapI,bool> result;
+  result = m_list.insert (std::make_pair (key, event));
   assert (result.second);
   return EventId (event, key.m_ns, key.m_uid);
 }