Small code cleanup.

gsvgit · gsvgit · commit ea93b7221274 · 2024-02-09T15:13:26.000+03:00
diff --git a/VSharp.IL/CFG.fs b/VSharp.IL/CFG.fs
@@ -588,9 +588,6 @@ type ApplicationGraph(getNextBasicBlockGlobalId,applicationGraphDelta:Applicatio
             
             let added = callTo.IncomingCallEdges.Add callFrom
             assert added
-            //if callFrom <> returnTo then
-            //    let removed = callFrom.OutgoingEdges.Remove CfgInfo.TerminalForCFGEdge //CallGraph.dummyTerminalForCallShortcut
-            //    assert removed
         else ()
 
     let moveState (initialPosition: codeLocation) (stateWithNewPosition: IGraphTrackableState) =
