Index: lib/core/bigint.dart |
diff --git a/lib/core/bigint.dart b/lib/core/bigint.dart |
index 6060ac62d31d5ae177e38af5bddeeee334d1a3e8..9ae0ac5ca0ea2f110aae7cf5a4a250ebdef4e966 100644 |
--- a/lib/core/bigint.dart |
+++ b/lib/core/bigint.dart |
@@ -56,9 +56,9 @@ class _Uint32Digits { |
operator [](int index) => _getUint32(_backing, index); |
operator []=(int index, int value) => _setUint32(_backing, index, value); |
- @fletch.native external static _allocate(int length); |
- @fletch.native external static _getUint32(backing, int index); |
- @fletch.native external static _setUint32(backing, int index, int value); |
+ @dartino.native external static _allocate(int length); |
+ @dartino.native external static _getUint32(backing, int index); |
+ @dartino.native external static _setUint32(backing, int index, int value); |
} |
// A big integer number is represented by a sign, an array of 32-bit unsigned |