Delete unused predicate (leftover from old implementation)

This commit is contained in:
Owen Mansel-Chan
2026-06-09 16:53:24 +02:00
parent 0dc95deca4
commit 99538f0f07

View File

@@ -194,15 +194,6 @@ abstract class SsaPseudoDefinition extends SsaImplicitDefinition {
* Gets an input of this pseudo-definition.
*/
abstract SsaVariable getAnInput();
/**
* Gets a textual representation of the inputs of this pseudo-definition
* in lexicographical order.
*/
string ppInputs() {
result =
concat(SsaVariable inp | inp = this.getAnInput() | inp.toString() order by inp.toString())
}
}
/**