| 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
|
|
|