leftover renaming label->kind

This commit is contained in:
Stephan Brandauer
2023-05-10 10:01:39 +02:00
parent 1f60fd6d58
commit 5dab1b2a3b

View File

@@ -268,7 +268,7 @@ module SharedCharacteristics<CandidateSig Candidate> {
string madLabel;
Candidate::EndpointType endpointType;
KnownSinkCharacteristic() { Candidate::isKnownLabel(madLabel, this, endpointType) }
KnownSinkCharacteristic() { Candidate::isKnownKind(madLabel, this, endpointType) }
override predicate appliesToEndpoint(Candidate::Endpoint e) { Candidate::isSink(e, madLabel) }