| Index: lib/internal/internal_patch.dart
|
| diff --git a/lib/internal/internal_patch.dart b/lib/internal/internal_patch.dart
|
| index a4df4fc748fc5470b83b6c1436e2a09eb5e67938..f3f633f01cac3047c9c400915654522ddaca7793 100644
|
| --- a/lib/internal/internal_patch.dart
|
| +++ b/lib/internal/internal_patch.dart
|
| @@ -2,10 +2,10 @@
|
| // for details. All rights reserved. Use of this source code is governed by a
|
| // BSD-style license that can be found in the LICENSE.md file.
|
|
|
| -import 'dart:fletch._system' as fletch;
|
| -import 'dart:fletch._system' show patch;
|
| +import 'dart:dartino._system' as dartino;
|
| +import 'dart:dartino._system' show patch;
|
|
|
| -@patch @fletch.native external void printToConsole(String line);
|
| +@patch @dartino.native external void printToConsole(String line);
|
|
|
| @patch class Symbol {
|
| // TODO(ajohnsen): Decide what to do with 'name'.
|
|
|