Fix reference to deprecated predicate

This commit is contained in:
Dave Bartolomeo
2022-03-15 15:59:35 -04:00
parent 62553ab089
commit 7359e3253d

View File

@@ -37,7 +37,7 @@ private string getBoundString(SemBound b, int delta) {
b instanceof SemZeroBound and result = delta.toString()
or
result =
strictconcat(b.(SemSsaBound).getAVariable().(IR::Instruction).getAST().toString(), ":") +
strictconcat(b.(SemSsaBound).getAVariable().(IR::Instruction).getAst().toString(), ":") +
getOffsetString(delta)
}