#include <regina-config.h> #include <ext/hash_set>
#include <regina-config.h>
#include <ext/hash_set>
This header is provided as a convenience to work around the differing installations of the Standard Template Library extension classes that are available.