diff --git a/server/src/workflow-management/selector.ts b/server/src/workflow-management/selector.ts index 939d618a..898dab0b 100644 --- a/server/src/workflow-management/selector.ts +++ b/server/src/workflow-management/selector.ts @@ -425,6 +425,12 @@ export const getSelectors = async (page: Page, coordinates: Coordinates) => { return Array.from(paths).sort((a, b) => penalty(a) - penalty(b)); } + type Scope = { + counter: number; + visited: Map; + }; + + };