Revert change on stack isExistential

nickbattle · Dec 3, 2023 · 8e9fbea · 8e9fbea
1 parent 4be9e80
commit 8e9fbea
Showing 1 changed file with 1 addition and 3 deletions.
diff --git a/vdmj/src/main/java/com/fujitsu/vdmj/pog/POContextStack.java b/vdmj/src/main/java/com/fujitsu/vdmj/pog/POContextStack.java
@@ -138,10 +138,8 @@ public PODefinition getDefinition()
 
 	public boolean isExistential()
 	{
-		for (int i = size() - 1; i >= 0; i--)	// NB. reverse order, for tail "exists"
+		for (POContext ctxt: this)
 		{
-			POContext ctxt = get(i);
-
 			if (ctxt instanceof PONameContext ||
 				ctxt instanceof PONoCheckContext ||
 				ctxt instanceof POScopeContext)