JS: Remove outdated comment

This commit is contained in:
Asger F
2019-11-06 12:10:32 +00:00
parent e01a9846d8
commit c01005a610

View File

@@ -86,7 +86,6 @@ import javascript
class RegExpRoot extends RegExpTerm {
RegExpParent parent;
// RegExpTerm is abstract, so do not extend it.
RegExpRoot() {
exists(RegExpAlt alt |
alt.isRootTerm() and