diff --git a/src/analysis/grammars/dramb/Diagnose.rsc b/src/analysis/grammars/dramb/Diagnose.rsc index 2d98b41..59029f1 100644 --- a/src/analysis/grammars/dramb/Diagnose.rsc +++ b/src/analysis/grammars/dramb/Diagnose.rsc @@ -231,8 +231,8 @@ void tokens(Tree x, Tree y) { Words lexX = {t | t <- wordsX, lex(_) := t.cat}; Words lexY = {t | t <- wordsY, lex(_) := t.cat}; - litParentsX = { | /t:appl(p,[*_,l:appl(prod(l,_,_),_),*_]) := x, lit(_) := l || cilit(_) := l}; - litParentsY = { | /t:appl(p,[*_,l:appl(prod(l,_,_),_),*_]) := y, lit(_) := l || cilit(_) := l}; + litParentsX = { | /appl(p,[*_,appl(prod(l,_,_),_),*_]) := x, lit(_) := l || cilit(_) := l}; + litParentsY = { | /appl(p,[*_,appl(prod(l,_,_),_),*_]) := y, lit(_) := l || cilit(_) := l}; unreserved = { | <- litX - litY, <- lexY - lexX, posX.offset == posY.offset, posX.length == posY.length}