autoformat

This commit is contained in:
Erik Krogh Kristensen
2021-10-13 13:34:47 +02:00
parent 705e24690f
commit 4cb004c0c6

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