CFG: Completions: fix definition of boolean constants

This commit is contained in:
Arthur Baars
2020-12-03 13:37:00 +01:00
parent 6c579ff608
commit d619bdd8f9

View File

@@ -95,10 +95,10 @@ abstract class Completion extends TCompletion {
private predicate isBooleanConstant(AstNode n, boolean value) {
mustHaveBooleanCompletion(n) and
(
n.(Constant).getValue() = "true" and
n instanceof True and
value = true
or
n.(Constant).getValue() = "false" and
n instanceof False and
value = false
)
}