Python: make toString follow member predicate name

This commit is contained in:
Rasmus Lerchedahl Petersen
2022-09-28 16:13:04 +02:00
parent d122a64e74
commit a11948bea0

View File

@@ -1069,7 +1069,7 @@ module API {
/** A label that gets the subscript of a sequence/mapping. */
class LabelSubscript extends ApiLabel, MkLabelSubscript {
override string toString() { result = "getSubscript()" }
override string toString() { result = "getASubscript()" }
}
/** A label for entry points. */