"use strict";

var _interopRequireDefault = require("@babel/runtime/helpers/interopRequireDefault");
Object.defineProperty(exports, "__esModule", {
  value: true
});
exports["default"] = void 0;
var _mizar = _interopRequireDefault(require("highlight.js/lib/languages/mizar"));
var _default = exports["default"] = _mizar["default"];