renaming also works in aspect files (outside injected java)
Passed
Johannes Mey
created pipeline for commit 1137b28b
, finished
1 related merge request: !1 Resolve "Renaming of Nonterminal Does Not Rename All Occurences"
15 minutes 53 seconds, queued for 12 seconds