/// called.
void ungetChar();
- /// Forgets everything read so far, and skips back to the position
- /// where reading started. If \c saveLine() was called previously,
- /// it sets the current line number to the line number saved then.
+ /// Forgets what was read, and skips back to the position where
+ /// \c compact() was last called. If \c compact() was not called, it
+ /// skips back to where reading started. If \c saveLine() was called
+ /// previously, it sets the current line number to the line number
+ /// saved.
void ungetAll();
/// Removes buffered content before the current location in the