From 7e63eb86c0435ecb67c85a332616de5cd38d0f15 Mon Sep 17 00:00:00 2001 From: mrmr1993 Date: Sat, 3 Mar 2018 14:44:27 +0000 Subject: Escape curly braces in ocamldoc comment --- plugins/ssrmatching/ssrmatching.mli | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'plugins/ssrmatching') 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 -- cgit v1.2.3