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()