ostringstream os;
for (Token t = get_token(); good(); t = get_token()) {
- if (t.cat() == catBegin) {
- putback();
- os << '{' << verbatim_item() << '}';
- } else if (t.asInput() == "\\end") {
+ if (t.asInput() == "\\end") {
string const end = getArg('{', '}');
if (end == name)
return os.str();