Merge pull request #2078 from usethesource/recovery/symbol-to-def

Renamed 'symbol' field in skipped production to 'def'
usethesource · Nov 13, 2024 · c861e93 · c861e93
2 parents 79be4a0 + e523ce2
commit c861e93
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{