Single whitespace change

usethesource · Nov 3, 2024 · 37ce549 · 37ce549
1 parent 8d35fc9
commit 37ce549
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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();