Remove duplicate visitEdge

jesyspa · Aug 5, 2024 · 13e8a4e · 13e8a4e
1 parent e4fc535
commit 13e8a4e
Showing 1 changed file with 0 additions and 10 deletions.
diff --git a/plugins/formal-verification/formver.uniqueness/src/org/jetbrains/kotlin/formver/UniqueCFA.kt b/plugins/formal-verification/formver.uniqueness/src/org/jetbrains/kotlin/formver/UniqueCFA.kt
@@ -38,16 +38,6 @@ class UniqueCFA(private val data: UniqueCheckerContext) : FirControlFlowChecker(
             return a
         }
 
-        override fun visitEdge(
-            from: CFGNode<*>,
-            to: CFGNode<*>,
-            metadata: Edge,
-            data: PathAwareControlFlowInfo<FirVariableSymbol<FirVariable>, Set<UniqueLevel>>,
-        ): PathAwareControlFlowInfo<FirVariableSymbol<FirVariable>, Set<UniqueLevel>> {
-            val dataForEdge = super.visitEdge(from, to, metadata, data)
-            return dataForEdge
-        }
-
         override fun visitNode(
             node: CFGNode<*>,
             data: PathAwareControlFlowInfo<FirVariableSymbol<FirVariable>, Set<UniqueLevel>>,