| 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);
|
|
|