Ignore type error

formalsec · Nov 29, 2024 · 4a24751 · 4a24751
1 parent a751b07
commit 4a24751
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/parser/src/traverse/dependency/dep_builder.ts b/parser/src/traverse/dependency/dep_builder.ts
@@ -652,6 +652,7 @@ function mapCallArguments(callNode: GraphNode, _functionContext: number, callNam
         const auxiliaryFunctionSummary: boolean = config.summaries.auxiliary_functions.includes(callName);
         if (auxiliaryFunctionSummary) {
             // Get arguments that are functions
+            // @ts-ignore
             const innerFunctions: GraphNode[] = callArgs.filter(arg => arg.identifier != null)
                 .map(arg => trackers.getFunctionNodeFromName(arg.identifier ?? "?"))
                 .filter((fn: GraphNode | undefined) => fn !== undefined)