C++: Fix spelling.

This commit is contained in:
Mathias Vorreiter Pedersen
2022-01-18 09:44:36 +00:00
parent 25253c7b8d
commit e1598aba5e

View File

@@ -178,7 +178,7 @@ private predicate isExplicitUse(Operand op) {
load.getAUse().getUse() instanceof InitializeIndirectionInstruction
) and
// Don't include this operand as a use if the only use of the address is for a write
// that definately overrides a variable.
// that definitely overrides a variable.
not (explicitWrite(true, _, vai) and exists(unique( | | vai.getAUse())))
)
}