From 37ce54950bb8cc0259b91dc009141e7b0600fafd Mon Sep 17 00:00:00 2001
From: Pieter Olivier <pieter.olivier@swat.engineering>
Date: Sun, 3 Nov 2024 11:31:42 +0100
Subject: [PATCH] Single whitespace change

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

diff --git a/src/org/rascalmpl/parser/gtd/SGTDBF.java b/src/org/rascalmpl/parser/gtd/SGTDBF.java
index 0f35f236231..9d38723078f 100755
--- a/src/org/rascalmpl/parser/gtd/SGTDBF.java
+++ b/src/org/rascalmpl/parser/gtd/SGTDBF.java
@@ -511,7 +511,7 @@ private void propagatePrefixes(AbstractStackNode<P> next, AbstractNode nextResul
 				nextNextAlternative = nextNext.getCleanCopy(location);
 				nextNextAlternative.updateNode(next, nextResult);
 				
-					debugListener.propagated(next, nextResult, nextNextAlternative);
+				debugListener.propagated(next, nextResult, nextNextAlternative);
 			}
 			
 			IntegerObjectList<EdgesSet<P>> nextNextEdgesMap = nextNextAlternative.getEdges();