/* automatically generated by jscov - do not edit */
if (typeof _$jscoverage === 'undefined') _$jscoverage = {};
if (! _$jscoverage['d1/tiny.js']) {
  _$jscoverage['d1/tiny.js'] = [];
  _$jscoverage['d1/tiny.js'][1] = 0;
  _$jscoverage['d1/tiny.js'][2] = 0;
  _$jscoverage['d1/tiny.js'][3] = 0;
  _$jscoverage['d1/tiny.js'][4] = 0;
}
_$jscoverage['d1/tiny.js'][1]++;
(function () {
  _$jscoverage['d1/tiny.js'][2]++;
  var uglify;
  _$jscoverage['d1/tiny.js'][3]++;
  uglify = require('uglify-js');
  _$jscoverage['d1/tiny.js'][4]++;
  console.log('hej', uglify);
}.call(this));
_$jscoverage['d1/tiny.js'].source = ["(function () {","  var uglify;","  uglify = require('uglify-js');","  console.log('hej', uglify);","}.call(this));"];