From eadc959fa205a5ea9258b4af07df4b0be21429a1 Mon Sep 17 00:00:00 2001
From: Pieter Olivier <pieter.olivier@swat.engineering>
Date: Thu, 24 Oct 2024 09:41:02 +0200
Subject: [PATCH] Fixed size inconsistency between allocating and enlarging

---
 src/org/rascalmpl/parser/gtd/stack/AbstractStackNode.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/org/rascalmpl/parser/gtd/stack/AbstractStackNode.java b/src/org/rascalmpl/parser/gtd/stack/AbstractStackNode.java
index 826c01c3a11..11e82da8413 100644
--- a/src/org/rascalmpl/parser/gtd/stack/AbstractStackNode.java
+++ b/src/org/rascalmpl/parser/gtd/stack/AbstractStackNode.java
@@ -669,7 +669,7 @@ public int updateOvertakenNullableNode(AbstractStackNode<P> predecessor, Abstrac
 			}
 			
 			if(propagatedPrefixes == null){
-				propagatedPrefixes = new BitSet(edgesMapSize);
+				propagatedPrefixes = new BitSet(possibleMaxSize);
 			}else{
 				propagatedPrefixes.enlargeTo(possibleMaxSize);
 			}