// Copyright 2009 the Sputnik authors.  All rights reserved.
/**
 * String.prototype.charAt has not prototype property
 *
 * @path ch15/15.5/15.5.4/15.5.4.4/S15.5.4.4_A6.js
 * @description Checking String.prototype.charAt.prototype
 */

//////////////////////////////////////////////////////////////////////////////
//CHECK#1
if (String.prototype.charAt.prototype !== undefined) {
  $ERROR('#1: String.prototype.charAt.prototype === undefined. Actual: '+String.prototype.charAt.prototype ); 
}
//
//////////////////////////////////////////////////////////////////////////////

