if (! _$jscoverage['javascript-delete.js']) {
  _$jscoverage['javascript-delete.js'] = [];
  _$jscoverage['javascript-delete.js'][1] = 0;
}
_$jscoverage['javascript-delete.js'].source = ["<span class=\"k\">delete</span> x<span class=\"k\">;</span>"];
_$jscoverage['javascript-delete.js'][1]++;
(delete x);
