JsInterpreter: proxy_object_internal_set_prototype_of missing trap name

jscert · Jul 19, 2018 · 3fe79d4 · 3fe79d4
1 parent 727543a
commit 3fe79d4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/jsref/JsInterpreter.ml b/jsref/JsInterpreter.ml
@@ -1642,7 +1642,7 @@ and proxy_object_internal_set_prototype_of s o v =
   let%assert _ = (type_of handler) === Coq_type_object in
   let%some target = run_object_method object_proxy_target_ s o in
   let%some target = target in
-  let%value s, trap = get_method s handler (Coq_value_string "") in
+  let%value s, trap = get_method s handler (Coq_value_string "setPrototypeOf") in
   if trap === Coq_value_undef then
     object_internal_set_prototype_of s (loc_of_value target) v
   else