| Index: src/js/proxy.js
|
| diff --git a/src/js/proxy.js b/src/js/proxy.js
|
| index 11f600e7ec1023bd9eb479d4a9f7b59dfe50a65c..68c7f086c8366ecf00eff1f4f5cf4ec06ca64248 100644
|
| --- a/src/js/proxy.js
|
| +++ b/src/js/proxy.js
|
| @@ -22,7 +22,7 @@ utils.Import(function(from) {
|
|
|
| function ProxyCreateRevocable(target, handler) {
|
| var p = new GlobalProxy(target, handler);
|
| - return {proxy: p, revoke: () => %RevokeProxy(p)};
|
| + return {proxy: p, revoke: () => %JSProxyRevoke(p)};
|
| }
|
|
|
| // -------------------------------------------------------------------
|
|
|