[MLton] but in doc/guide/src/Emacs.adoc

Henry Cejtin <[email protected]> Sat, 16 May 2020 18:31:17 -0500
Newsgroups gmane.comp.lang.ml.mlton.devel
Message-ID <CAPKXxCqCW-A5jYxYsr1FufFo1QnJrvxFayH93Xf5RsydUsZawQ@mail.gmail.com>
There is a bug in doc/guide/src/Emacs.adoc:
Here is the diff that seems to be the fix:
24c24
< http://company-mode.github.io/[`company-mode`] completion back-end for
---
> http://company-mode.github.io/[`company-mode]` completion back-end for