461a462
> code('#include <functional>')
500a502,515
> if self.isMachineType:
> code('''
>
> // define a hash function for the MachineType class
> namespace std {
> template<>
> struct hash<MachineType> {
> std::size_t operator()(const MachineType &mtype) const {
> return hash<size_t>()(static_cast<size_t>(mtype));
> }
> };
> }
>
> ''')