JS: Add pragma[nomagic] just to be safe

The DIL is unchanged
This commit is contained in:
Asger F
2025-10-30 13:42:31 +01:00
parent 1f7671cf5e
commit c583b480af

View File

@@ -4,6 +4,7 @@
import javascript
pragma[nomagic]
private predicate adjacentTokens(Token token1, Token token2) {
exists(TopLevel top, int index |
tokeninfo(token1, _, top, index, _) and