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