src/parser/Console_Token_Stream.cc
void Console_Token_Stream::comment(string const &message) {
  std::cerr << message << std::endl;

  Ensure(check_class_invariants());
}
//------------------------------------------------------------------------------------------------//
/*!
 * This function sends a message by writing it to the error console stream.
 * This version prints no location information.
 */
This function sends a message by writing it to the error console stream.
This version prints no location information.
This function sends a message by writing it to the error console stream . This version prints no location information .
void Console_Token_Stream::comment(string const &message) {
  std::cerr << message << std::endl;
  Ensure(check_class_invariants());
}
void Console_Token_Stream :: comment ( string const & message ) { std :: cerr << message << std :: endl ; Ensure ( check_class_invariants ( ) ) ; }
This function sends a message by writing it to the error console stream.
This function sends a message by writing it to the error console stream .