Bugfix of previous commit

This commit is contained in:
Andrea Cavalli 2020-05-17 00:36:00 +02:00
parent 18f49e6c55
commit 7806bcec3c
1 changed files with 1 additions and 1 deletions

View File

@ -492,7 +492,7 @@ const DocumentsManager::GeneralDocument *DocumentsManager::get_document(FileId f
if (document == documents_.end() ||
document->second == nullptr ||
document->second->file_id != file_id) {
return make_unique<DocumentsManager>().get();
return make_unique<GeneralDocument>().get();
}
return document->second.get();