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