QL: autoformat

This commit is contained in:
Erik Krogh Kristensen
2021-10-13 13:34:47 +02:00
parent 09862b9fe7
commit 15679dfec6

View File

@@ -72,7 +72,9 @@ private module Cached {
predicate resolveVariable(Identifier i, VarDef decl) { scopeOf(i).containsVar(decl, getName(i)) }
cached
predicate resolveField(Identifier i, VarDef decl) { scopeOf(i).containsField(decl, pragma[only_bind_into](getName(i))) }
predicate resolveField(Identifier i, VarDef decl) {
scopeOf(i).containsField(decl, pragma[only_bind_into](getName(i)))
}
}
import Cached