src/parser/Parallel_File_Token_Stream.cc
void Parallel_File_Token_Stream::push_include(std::string &filename) {
  Text_Token_Stream::push_include(filename);
  letters_.push(letter_);
  letter_ = make_shared<letter>(filename);
}
//------------------------------------------------------------------------------------------------//
/*!
 * \param filename Name of file to be included at this point. On return,
 * replaced with an absolute path based on DRACO_INCLUDE_PATH if the relative
 * path did not exist.
 */
\param filename Name of file to be included at this point. On return,
replaced with an absolute path based on DRACO_INCLUDE_PATH if the relative
path did not exist.
\ param filename Name of file to be included at this point . On return replaced with an absolute path based on DRACO_INCLUDE_PATH if the relative path did not exist .
void Parallel_File_Token_Stream::push_include(std::string &filename) {
  Text_Token_Stream::push_include(filename);
  letters_.push(letter_);
  letter_ = make_shared<letter>(filename);
}
void Parallel_File_Token_Stream :: push_include ( std :: string & filename ) { Text_Token_Stream :: push_include ( filename ) ; letters_ . push ( letter_ ) ; letter_ = make_shared < letter > ( filename ) ; }
\param filename Name of file to be included at this point.
\ param filename Name of file to be included at this point .