diff --git a/src/main/rascal/lang/php/analysis/cfg/BasicBlocks.rsc b/src/main/rascal/lang/php/analysis/cfg/BasicBlocks.rsc index 93bce11..dd6548d 100644 --- a/src/main/rascal/lang/php/analysis/cfg/BasicBlocks.rsc +++ b/src/main/rascal/lang/php/analysis/cfg/BasicBlocks.rsc @@ -74,9 +74,9 @@ public CFG createBasicBlocks(CFG g) { FlowEdge getBlockEdge(CFGNode n1, CFGNode n2) { n1Exit = last(n1.nodes); n2Entry = head(n2.nodes); - edges = { e | e <- g.edges, n1Exit.lab == e.from, n2Entry.lab == e.to }; + edges = { e | FlowEdge e <- g.edges, n1Exit.lab == e.from, n2Entry.lab == e.to }; if (size(edges) > 1) { - for (e <- edges) + for (FlowEdge e <- edges) println("In , found flow edge "); throw "We should not have multiple edges between the same nodes"; }