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