Index: pkg/async_helper/dartino.patch |
diff --git a/pkg/async_helper/fletch.patch b/pkg/async_helper/dartino.patch |
similarity index 98% |
rename from pkg/async_helper/fletch.patch |
rename to pkg/async_helper/dartino.patch |
index 9d3694ae7793b3deecd224baafbe792a2b5e8efe..99dfbf137760f7dfad80446ed44420ed81cc07ce 100644 |
--- a/pkg/async_helper/fletch.patch |
+++ b/pkg/async_helper/dartino.patch |
@@ -7,7 +7,7 @@ index 37496bc..1b8acf4 100644 |
// It would be nice if we could use a different mechanism for different |
// runtimes. |
-import 'dart:isolate'; |
-+import 'dart:fletch'; |
++import 'dart:dartino'; |
bool _initialized = false; |
-ReceivePort _port = null; |