Skip to content

Commit

Permalink
Merge pull request #67 from kieler/51-sub-hazards-are-not-referenced-…
Browse files Browse the repository at this point in the history
…except-for-the-last-hazard-set

scope list gets not overriden anymore
  • Loading branch information
Drakae authored Jan 10, 2025
2 parents d39304e + 8ff67cf commit e6484a2
Showing 1 changed file with 1 addition and 1 deletion.
Original file line number Diff line number Diff line change
Expand Up @@ -314,7 +314,7 @@ export class StpaScopeProvider extends DefaultScopeProvider {
for (const node of nodes) {
const currentNode: AstNode | undefined = node;
if (node.subComponents.length !== 0) {
res = this.getHazardSysCompsDescriptions(node.subComponents, precomputed, type);
res = res.concat(this.getHazardSysCompsDescriptions(node.subComponents, precomputed, type));
}
res = res.concat(this.getDescriptions(currentNode, type, precomputed));
}
Expand Down

0 comments on commit e6484a2

Please sign in to comment.