// Copyright 2009 the Sputnik authors.  All rights reserved.
/**
 * The Object.prototype property has the attribute DontEnum
 *
 * @path ch15/15.2/15.2.3/15.2.3.1/S15.2.3.1_A2.js
 * @description Checking if enumerating "Object.prototype" property fails
 */

// CHECK#1
if (Object.propertyIsEnumerable('prototype')) {
  $ERROR('#1: the Object.prototype property has the attributes DontEnum');
}

// CHECK#2
var cout=0;

for (p in Object){
  if (p==="prototype") cout++;
}

if (cout !== 0) {
  $ERROR('#2: the Object.prototype property has the attributes DontEnum');
}

