text/js/coq.js-BoiqycYK.chunk.mjs.map

{"version":3,"file":"coq.js-BoiqycYK.chunk.mjs","sources":["../node_modules/highlight.js/lib/languages/coq.js.js"],"sourcesContent":["function emitWarning() {\n    if (!emitWarning.warned) {\n      emitWarning.warned = true;\n      console.log(\n        'Deprecation (warning): Using file extension in specifier is deprecated, use \"highlight.js/lib/languages/coq\" instead of \"highlight.js/lib/languages/coq.js\"'\n      );\n    }\n  }\n  emitWarning();\n    module.exports = require('./coq.js');"],"names":["emitWarning","coq_js","require$$0"],"mappings":";ybAAA,SAASA,GAAc,CACdA,EAAY,SACfA,EAAY,OAAS,GACrB,QAAQ,IACN,6JACR,EAEG,CACDA,IACE,IAAAC,EAAiBC","x_google_ignoreList":[0]}