Renamed 'symbol' field in skipped production to 'def'

usethesource · Nov 13, 2024 · e523ce2 · e523ce2
1 parent 79be4a0
commit e523ce2
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/org/rascalmpl/library/ParseTree.rsc b/src/org/rascalmpl/library/ParseTree.rsc
@@ -192,7 +192,7 @@ data Production
 
 data Production
      = \error(Symbol def, Production prod, int dot)
-     | \skipped(Symbol symbol);
+     | \skipped(Symbol def);
 
 @synopsis{Attributes in productions.}
 @description{