Merge branch 'master' into develop-v5

This commit is contained in:
Geza Lore
2022-09-15 10:28:35 +01:00
103 changed files with 1819 additions and 408 deletions
+1 -1
View File
@@ -86,7 +86,7 @@ private:
string::size_type pos;
while ((pos = dottedname.find("__DOT__")) != string::npos) {
const string ident = dottedname.substr(0, pos);
dottedname = dottedname.substr(pos + strlen("__DOT__"));
dottedname = dottedname.substr(pos + std::strlen("__DOT__"));
if (nodep->name() != "") {
m_displayScope = dot(m_displayScope, ident);
m_namedScope = dot(m_namedScope, ident);