| Index: src/js/proxy.js
|
| diff --git a/src/js/proxy.js b/src/js/proxy.js
|
| index b859415f0672238878487ea3ab7b9cb217c6fa34..842bac02525dfba5af65c4f753b4a9582ff74d00 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)};
|
| }
|
|
|
| // -------------------------------------------------------------------
|
|
|