diff options
author | mrmr1993 <mr_1993@hotmail.co.uk> | 2018-03-03 14:44:27 +0000 |
---|---|---|
committer | mrmr1993 <mr_1993@hotmail.co.uk> | 2018-03-05 14:46:31 +0000 |
commit | 7e63eb86c0435ecb67c85a332616de5cd38d0f15 (patch) | |
tree | 6cfee6eb13899cb676e38e0be26329f2072fe64f /plugins/ssrmatching | |
parent | b88790fc8d473af4afd8dd59af61c137068e0376 (diff) |
Escape curly braces in ocamldoc comment
Diffstat (limited to 'plugins/ssrmatching')
-rw-r--r-- | plugins/ssrmatching/ssrmatching.mli | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/plugins/ssrmatching/ssrmatching.mli b/plugins/ssrmatching/ssrmatching.mli index cd5676f28..07d0f9757 100644 --- a/plugins/ssrmatching/ssrmatching.mli +++ b/plugins/ssrmatching/ssrmatching.mli @@ -74,7 +74,7 @@ val interp_cpattern : pattern (** The set of occurrences to be matched. The boolean is set to true - * to signal the complement of this set (i.e. {-1 3}) *) + * to signal the complement of this set (i.e. \{-1 3\}) *) type occ = (bool * int list) option (** [subst e p t i]. [i] is the number of binders |