diff options
Diffstat (limited to 'src/command_manager.cc')
| -rw-r--r-- | src/command_manager.cc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/command_manager.cc b/src/command_manager.cc index 2af06c76..e2294b37 100644 --- a/src/command_manager.cc +++ b/src/command_manager.cc @@ -193,8 +193,8 @@ void skip_blanks_and_comments(Reader& reader) ++(++reader); else if (c == '#') { - for (bool eol = false; reader and not eol; ++reader) - eol = *reader == '\n'; + while (reader and *reader != '\n') + ++reader; } else break; |