commit 9fac840a46e8b7e26894f4792ba26dde14c56b04
author Steve Block <steveblock@google.com> Thu May 12 15:51:54 2011 +0100
committer Steve Block <steveblock@google.com> Thu May 12 16:12:25 2011 +0100
tree 0b8b71befb5175abac552daa0d084fc51c1090b8
parent b0fe1620dcb4135ac3ab2d66ff93072373911299

Update V8 to r6190 as required by WebKit r75315

Change-Id: I0b2f598e4d8748df417ad350fc47a1c465ad1fef

src/date.js

diff --git a/src/date.js b/src/date.js
index bc70327..9eb607c 100644
--- a/src/date.js
+++ b/src/date.js
@@ -1000,7 +1000,7 @@
 function DateToJSON(key) {
   var o = ToObject(this);
   var tv = DefaultNumber(o);
-  if (IS_NUMBER(tv) && !$isFinite(tv)) { 
+  if (IS_NUMBER(tv) && !NUMBER_IS_FINITE(tv)) { 
     return null; 
   }
   return o.toISOString();