Python: Fix duplicated meta query id

This commit is contained in:
Rasmus Wriedt Larsen
2023-01-16 14:19:18 +01:00
parent 3fcb8f3f4b
commit a3b7273844

View File

@@ -2,7 +2,7 @@
* @name New call graph edge from using type-tracking instead of points-to
* @kind problem
* @problem.severity recommendation
* @id py/meta/call-graph-new
* @id py/meta/type-tracking-call-graph
* @tags meta
* @precision very-low
*/