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