740,753d739
< namespace std {
<
< template<>
< struct hash<ArmISA::ExtMachInst> :
< public hash<ArmISA::ExtMachInst::__StorageType> {
<
< size_t operator()(const ArmISA::ExtMachInst &emi) const {
< return hash<ArmISA::ExtMachInst::__StorageType>::operator()(emi);
< }
<
< };
<
< }
<