Method indent

prod.cc:20–25

}

void prod::indent(std::ostream &out)
{
  out << std::endl;
  for (int i = 0; i < level; i++)
    out << "  ";
}

void prod::retry()
{