Index: test/mjsunit/runtime-gen/numberdiv.js |
diff --git a/test/mjsunit/runtime-gen/numberdiv.js b/test/mjsunit/runtime-gen/numberdiv.js |
index f92fa0139e1576c50d6b6675a56cc4a3c684e241..c62d5921c7b134aa95d425f699adf28678d66f7f 100644 |
--- a/test/mjsunit/runtime-gen/numberdiv.js |
+++ b/test/mjsunit/runtime-gen/numberdiv.js |
@@ -1,6 +1,6 @@ |
// Copyright 2014 the V8 project authors. All rights reserved. |
// AUTO-GENERATED BY tools/generate-runtime-tests.py, DO NOT MODIFY |
-// Flags: --allow-natives-syntax --harmony |
+// Flags: --allow-natives-syntax --harmony --harmony-proxies |
var _x = 1.5; |
var _y = 1.5; |
%NumberDiv(_x, _y); |