1ANTLR_BEGIN_NAMESPACE()
2
3//static
4ANTLR_INLINE void GenericStream::displayRecognitionError( const StringType& str )
5{
6	fprintf(stderr, str.c_str() );
7}
8
9ANTLR_END_NAMESPACE()