|
@@ -66,7 +66,7 @@ input(std::istream &in) {
|
|
|
// Scan the tag, up to but not including the closing paren.
|
|
// Scan the tag, up to but not including the closing paren.
|
|
|
std::string tag;
|
|
std::string tag;
|
|
|
in >> ch;
|
|
in >> ch;
|
|
|
- while (!in.fail() && ch != EOF && ch != ')') {
|
|
|
|
|
|
|
+ while (!in.fail() && ch != ')') {
|
|
|
tag += ch;
|
|
tag += ch;
|
|
|
// We want to include embedded whitespace, so we use get().
|
|
// We want to include embedded whitespace, so we use get().
|
|
|
ch = in.get();
|
|
ch = in.get();
|
|
@@ -81,7 +81,7 @@ input(std::istream &in) {
|
|
|
// Scan the date, up to but not including the closing bracket.
|
|
// Scan the date, up to but not including the closing bracket.
|
|
|
if (ch != ']') {
|
|
if (ch != ']') {
|
|
|
std::string date;
|
|
std::string date;
|
|
|
- while (!in.fail() && ch != EOF && ch != ']') {
|
|
|
|
|
|
|
+ while (!in.fail() && ch != ']') {
|
|
|
date += ch;
|
|
date += ch;
|
|
|
ch = in.get();
|
|
ch = in.get();
|
|
|
}
|
|
}
|