Index: tools/ddbg.dart |
diff --git a/tools/ddbg.dart b/tools/ddbg.dart |
index de213644fa52122f08235f20a295f330a61b3fdb..7d95f796d6c1f0216337b5efc6b86da538ebae16 100644 |
--- a/tools/ddbg.dart |
+++ b/tools/ddbg.dart |
@@ -556,7 +556,7 @@ void main() { |
arguments = <String>['--debug', '--verbose_debug']..addAll(arguments); |
Process.start(options.executable, arguments).then((Process process) { |
process.onExit = (int exitCode) { |
- print('${Strings.join(arguments, " ")} exited with $exitCode'); |
+ print('${arguments.join(" ")} exited with $exitCode'); |
}; |
process.stdin.close(); |
// Redirecting both stdout and stderr of the child process to |