diff --git a/src/base/application.cpp b/src/base/application.cpp index 92bc58681d..4673875813 100644 --- a/src/base/application.cpp +++ b/src/base/application.cpp @@ -306,8 +306,8 @@ void Application::close_XML_File(const std::string& file) for (; b != e; ++b) { b->second.first->unlock(); delete b->second.first; - xmlfiles.erase(b->first); } + xmlfiles.clear(); } else if (xmlfiles.find(file) != xmlfiles.end()) { xmlfiles[file].first->unlock(); delete xmlfiles[file].first;