docs: add coqdoc escaping for gmap comment
In gmap.v, we don't properly escape this line. As such, the coqdoc omits the rest of the comment block. This should be a quick fix, but I don't have fork permissions to make a MR.
Edited by Sanjit Bhat
In gmap.v, we don't properly escape this line. As such, the coqdoc omits the rest of the comment block. This should be a quick fix, but I don't have fork permissions to make a MR.