fix typo in kontextfrei.tex

Merge request reports

Loading