From fb4571bf487fd590d5e64ee33b27a7212a491466 Mon Sep 17 00:00:00 2001
From: mrmr1993
Date: Sat, 3 Mar 2018 11:11:15 +0000
Subject: Fix formatting of some ocamldoc comments to reduce warnings

---
 intf/constrexpr.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'intf')

diff --git a/intf/constrexpr.ml b/intf/constrexpr.ml
index 474b80ec48..0d5542277f 100644
--- a/intf/constrexpr.ml
+++ b/intf/constrexpr.ml
@@ -51,7 +51,7 @@ type cases_pattern_expr_r =
   | CPatAlias of cases_pattern_expr * lname
   | CPatCstr  of reference
     * cases_pattern_expr list option * cases_pattern_expr list
-  (** [CPatCstr (_, c, Some l1, l2)] represents (@c l1) l2 *)
+  (** [CPatCstr (_, c, Some l1, l2)] represents [(@ c l1) l2] *)
   | CPatAtom of reference option
   | CPatOr   of cases_pattern_expr list
   | CPatNotation of notation * cases_pattern_notation_substitution
-- 
cgit v1.2.3


From 4d916a65ef1274160a2ee9726b88de5245e800e8 Mon Sep 17 00:00:00 2001
From: mrmr1993
Date: Sat, 3 Mar 2018 11:25:26 +0000
Subject: Change non-documentation comment from ocamldoc style

---
 intf/constrexpr.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'intf')

diff --git a/intf/constrexpr.ml b/intf/constrexpr.ml
index 0d5542277f..647c01ff52 100644
--- a/intf/constrexpr.ml
+++ b/intf/constrexpr.ml
@@ -121,7 +121,7 @@ and recursion_order_expr =
   | CWfRec of constr_expr
   | CMeasureRec of constr_expr * constr_expr option (** measure, relation *)
 
-(** Anonymous defs allowed ?? *)
+(* Anonymous defs allowed ?? *)
 and local_binder_expr =
   | CLocalAssum   of lname list * binder_kind * constr_expr
   | CLocalDef     of lname * constr_expr * constr_expr option
-- 
cgit v1.2.3