Fix whitespace

This commit is contained in:
Richard Berger
2020-05-29 17:25:41 -04:00
parent 447784212a
commit 636a1bffe3
8 changed files with 14 additions and 14 deletions

View File

@ -82,7 +82,7 @@ public:
bool has_next() const;
void skip(int ntokens);
const size_t count() const;
};