//===-- Support/hash_set - "Portable" wrapper around hash_set ---*- C++ -*-===//
//
// This file provides a wrapper around the mysterious <hash_set> header file
// that seems to move around between GCC releases into and out of namespaces at
// will.  #including this header will cause hash_set to be available in the
// global namespace.
//
//===----------------------------------------------------------------------===//

#ifndef SUPPORT_HASHSET_H
#define SUPPORT_HASHSET_H
#if __GNUC__==3
#include <ext/hash_set>
#define HASH_NAMESPACE __gnu_cxx
#else
#include <hash_set>
#define HASH_NAMESPACE std
#endif

using HASH_NAMESPACE::hash_set;
using HASH_NAMESPACE::hash;

#endif