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