From 1b2f30214338e904282404327a6903e28bcb78a1 Mon Sep 17 00:00:00 2001
From: paulklint <Paul.Klint@cwi.nl>
Date: Tue, 10 Feb 2026 14:13:23 +0100
Subject: [PATCH] Added two explicit types to avoid undesired behaviour of
 Rascal typechecker

---
 src/main/rascal/lang/php/analysis/cfg/BasicBlocks.rsc | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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 <g.item>, found flow edge <e>"); 
 			throw "We should not have multiple edges between the same nodes";
 		}