1 /*****************************************************************************/
2 /*!
3  * \file compat_hash_map.h
4  *
5  * Author: Sergey Berezin
6  *
7  * Created: Jan 31 02:23:26 GMT 2003
8  *
9  * <hr>
10  *
11  * License to use, copy, modify, sell and/or distribute this software
12  * and its documentation for any purpose is hereby granted without
13  * royalty, subject to the terms and conditions defined in the \ref
14  * LICENSE file provided with this distribution.
15  *
16  * <hr>
17  *
18  * Compatibility header file for STL extension "hash_map".  Any other
19  * source file that needs to use hash_map should include this instead.
20  *
21  * If hash_map is not defined in namespace std, we bring it in there.
22  * It turns out that different versions of gcc use different
23  * namespaces for STL extensions (std, __gnu_cxx, and God knows
24  * what'll be next).
25  *
26  * This header assumes that only one of HAVE_*_HASH_MAP symbols is
27  * defined.
28  *
29  */
30 /*****************************************************************************/
31 #ifndef _cvc3__include__compat_hash_map_h_
32 #define _cvc3__include__compat_hash_map_h_
33 
34 #include "hash_map.h"
35 namespace std {
36   using namespace Hash;
37 }
38 
39 #endif
40