PS: Drive-by fix: Better toString on Cmd.

This commit is contained in:
Mathias Vorreiter Pedersen
2024-11-07 12:47:58 +00:00
parent 7531d88f6d
commit a086d63f31

View File

@@ -12,7 +12,7 @@ private predicate parseCommandName(Cmd cmd, string namespace, string name) {
}
class Cmd extends @command, CmdBase {
override string toString() { result = this.getQualifiedCommandName() }
override string toString() { result = "call to " + this.getQualifiedCommandName() }
override SourceLocation getLocation() { command_location(this, result) }