| // Copyright 2009 the Sputnik authors. All rights reserved. | |
| // This code is governed by the BSD license found in the LICENSE file. | |
| /** | |
| * The "catch" token can not be used as identifier | |
| * | |
| * @path ch07/7.6/7.6.1/7.6.1.1/S7.6.1.1_A1.3.js | |
| * @description Checking if execution of "catch=1" fails | |
| * @negative | |
| */ | |
| catch = 1; | |