// Copyright 2009 the Sputnik authors.  All rights reserved.
// This code is governed by the BSD license found in the LICENSE file.

/**
 * StringLiteral :: "DoubleStringCharacters_opt"
 *
 * @path ch07/7.8/7.8.4/S7.8.4_A1.1_T1.js
 * @description DoubleStringCharacter :: SourceCharacter but not double-quote " or LineTerminator
 * @negative
 */

//CHECK#1
"""