Include file:
#include "mcrl2/utilities/hash_utility.h"
This file contains a specialisation for hashes on pairs. This is not a part of the standard, although it ought to be part. Once it has become a part of the standard, this can be removed.
Jan Friso Groote
std::hash
std::hash