Merge remote-tracking branch 'origin/master' into map_v2

sparcians · Sep 6, 2023 · 3651960 · 3651960
2 parents 2e71810 + 167755a
commit 3651960
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/sparta/src/TreeNode.cpp b/sparta/src/TreeNode.cpp
@@ -2853,6 +2853,9 @@ TreeNode::ExtensionsBase * TreeNode::getExtension(const std::string & extension_
 
                 get_extension_names_from_node(extension_node);
                 get_extension_names_from_node(arch_extension_node);
+                for(auto & ext : extensions_) {
+                    extension_names_.insert(ext.first);
+                }
                 return nullptr;
             } else {
                 return nullptr;