Merge PR #9150: [doc] Enable Warning 50 [incorrect doc comment] and fix comments.

1 files changed, 4 insertions, 4 deletions

diff --git a/pretyping/evarconv.ml b/pretyping/evarconv.ml
index 6c268de3b3..e6e1530e36 100644
--- a/pretyping/evarconv.ml
+++ b/pretyping/evarconv.ml
@@ -1311,10 +1311,10 @@ let max_undefined_with_candidates evd =
   | None -> ()
   | Some l -> raise (MaxUndefined (evk, evi, l))
   in
-  (** [fold_right] traverses the undefined map in decreasing order of indices.
-  The evar with candidates of maximum index is thus the first evar with
-  candidates found by a [fold_right] traversal. This has a significant impact on
-  performance. *)
+  (* [fold_right] traverses the undefined map in decreasing order of
+     indices.  The evar with candidates of maximum index is thus the
+     first evar with candidates found by a [fold_right]
+     traversal. This has a significant impact on performance. *)
   try
     let () = Evar.Map.fold_right fold (Evd.undefined_map evd) () in
     None