diff options
Diffstat (limited to '030container.cc')
| -rw-r--r-- | 030container.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/030container.cc b/030container.cc index 04be418c..afe08952 100644 --- a/030container.cc +++ b/030container.cc @@ -404,7 +404,7 @@ else if (command == "container") { :(code) void insert_container(const string& command, kind_of_type kind, istream& in) { - skip_whitespace(in); + skip_whitespace_but_not_newline(in); string name = next_word(in); // End container Name Refinements trace(9991, "parse") << "--- defining " << command << ' ' << name << end(); |