import React from 'react';
import styles from './styles.module.css';

function SyntaxSwitch(props) {
  return /*#__PURE__*/React.createElement("select", {
    className: styles.syntaxSwitch,
    defaultValue: props.syntax,
    onChange: e => props.onSyntaxChange(e.target.value)
  }, /*#__PURE__*/React.createElement("option", {
    value: "pascaligo"
  }, "PascaLIGO"), /*#__PURE__*/React.createElement("option", {
    value: "cameligo"
  }, "CameLIGO"), /*#__PURE__*/React.createElement("option", {
    value: "reasonligo"
  }, "ReasonLIGO"));
}

export default SyntaxSwitch;