| Index: runtime/vm/kernel_reader.h | 
| diff --git a/runtime/vm/kernel_reader.h b/runtime/vm/kernel_reader.h | 
| index 69065084b631db2f5783527ce099c9172835013f..3d20f90a6e245f7160e546bec58d5a8f7c9ac1f7 100644 | 
| --- a/runtime/vm/kernel_reader.h | 
| +++ b/runtime/vm/kernel_reader.h | 
| @@ -34,18 +34,18 @@ template <typename KernelType, typename VmType> | 
| class Mapping { | 
| public: | 
| bool Lookup(KernelType* node, VmType** handle) { | 
| -    typename MapType::Pair* pair = map_.LookupPair(node); | 
| -    if (pair != NULL) { | 
| -      *handle = pair->value; | 
| +    typename MapType::iterator value = map_.find(node); | 
| +    if (value != map_.end()) { | 
| +      *handle = value->second; | 
| return true; | 
| } | 
| return false; | 
| } | 
|  | 
| -  void Insert(KernelType* node, VmType* object) { map_.Insert(node, object); } | 
| +  void Insert(KernelType* node, VmType* object) { map_[node] = object; } | 
|  | 
| private: | 
| -  typedef Map<KernelType, VmType*> MapType; | 
| +  typedef typename std::map<KernelType*, VmType*> MapType; | 
| MapType map_; | 
| }; | 
|  | 
|  |