From f52513c0cc5abd77ceda9a3a65a1dfade9c7ca2f Mon Sep 17 00:00:00 2001 From: Xavier Leroy Date: Mon, 1 Mar 1999 21:00:56 +0000 Subject: [PATCH] Typo dans commentaire git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2319 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02 --- typing/mtype.mli | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/typing/mtype.mli b/typing/mtype.mli index 8b28ffca4..b66825d29 100644 --- a/typing/mtype.mli +++ b/typing/mtype.mli @@ -25,4 +25,4 @@ val strengthen: Env.t -> module_type -> Path.t -> module_type val nondep_supertype: Env.t -> Ident.t -> module_type -> module_type (* Return the smallest supertype of the given type in which the given ident does not appear. - Raise [Not_found] if no such type List.exists. *) + Raise [Not_found] if no such type exists. *)