Shared: auto format

This commit is contained in:
Asger Feldthaus
2022-02-15 11:37:19 +01:00
parent 7fcbdbeada
commit dcc523a2b7
3 changed files with 3 additions and 9 deletions

View File

@@ -966,9 +966,7 @@ module Private {
}
/** Holds if the first `n` tokens of `input` resolve to the given interpretation. */
private predicate interpretInput(
AccessPath input, int n, InterpretNode ref, InterpretNode node
) {
private predicate interpretInput(AccessPath input, int n, InterpretNode ref, InterpretNode node) {
sinkElementRef(ref, input, _) and
n = 0 and
(