diff --git a/src/frontend/UiDocument.cpp b/src/frontend/UiDocument.cpp index bbd4446d..0d78e64a 100644 --- a/src/frontend/UiDocument.cpp +++ b/src/frontend/UiDocument.cpp @@ -50,7 +50,7 @@ void UiDocument::collect(uinodes_map& map, std::shared_ptr node) { if (!id.empty()) { map[id] = node; } - auto container = dynamic_cast(node.get()); + auto container = std::dynamic_pointer_cast(node); if (container) { for (auto subnode : container->getNodes()) { collect(map, subnode); @@ -83,4 +83,4 @@ std::unique_ptr UiDocument::read(int penv, std::string namesp, fs::p std::shared_ptr UiDocument::readElement(fs::path file) { auto document = read(-1, file.filename().u8string(), file); return document->getRoot(); -} \ No newline at end of file +}