JS: Fix some QL4QL alerts

This commit is contained in:
Asger F
2025-11-25 11:52:44 +01:00
parent 869efb8a48
commit 369848a870

View File

@@ -1744,9 +1744,11 @@ module API {
private module Debug {
private module FullInput implements StageInputSig {
overlay[caller]
pragma[inline]
predicate isAdditionalUseRoot(Node node) { none() }
overlay[caller]
pragma[inline]
predicate isAdditionalDefRoot(Node node) { none() }