| // Copyright 2009 the Sputnik authors. All rights reserved. | |
| // This code is governed by the BSD license found in the LICENSE file. | |
| /** | |
| * The "short" token can be used as identifier | |
| * | |
| * @path ch07/7.6/7.6.1/7.6.1.2/S7.6.1.2_A1.25.js | |
| * @description Checking if execution of "short=1" succeeds | |
| */ | |
| var short = 1; | |