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
index f8f23f0e3b2fb..6031d44d64e63 100644
--- 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>>,