From e523ce229d2dcc05e87edfdb30fbdf240ec3e0a7 Mon Sep 17 00:00:00 2001
From: Pieter Olivier <pieter.olivier@swat.engineering>
Date: Wed, 13 Nov 2024 11:31:05 +0100
Subject: [PATCH] Renamed 'symbol' field in skipped production to 'def'

---
 src/org/rascalmpl/library/ParseTree.rsc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/org/rascalmpl/library/ParseTree.rsc b/src/org/rascalmpl/library/ParseTree.rsc
index d8cdfabcbfc..8e799da1a11 100644
--- 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{