front-end/doc.ml: fix typo in comment#25

phi-gamma wants to merge 1 commit into

realworldocaml:masterrealworldocaml/examples:masterfrom

phi-gamma:fix_font-end_doc.mlphi-gamma/examples:fix_font-end_doc.mlCopy head branch name to clipboard