
} else {
g.tool.errMgr.grammarError(ErrorType.EMPTY_STRINGS_AND_SETS_NOT_ALLOWED,</BUG>
g.fileName, charSetAST.getToken(), "[" + (char) x + "-" + (char) y + "]");
}
<BUG>i += 2;
} else {
checkAndAddToSet(charSetAST, set, c);

}
}</BUG>
}

right = newState(stringLiteralAST);
prev.addTransition(new AtomTransition(right, chars.charAt(i)));
prev = right;
