equal
deleted
inserted
replaced
3470 std::getline(is, line); |
3470 std::getline(is, line); |
3471 std::istringstream ls(line); |
3471 std::istringstream ls(line); |
3472 while (ls >> name) { |
3472 while (ls >> name) { |
3473 maps.push_back(name); |
3473 maps.push_back(name); |
3474 } |
3474 } |
3475 while (getline(is, line)); |
3475 while (getline(is, line)) { } |
3476 } |
3476 } |
3477 |
3477 |
3478 void readItemNames(std::istream& is, std::vector<std::string>& maps) { |
3478 void readItemNames(std::istream& is, std::vector<std::string>& maps) { |
3479 std::string line, name; |
3479 std::string line, name; |
3480 while (std::getline(is, line)) { |
3480 while (std::getline(is, line)) { |