diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2002-06-18 13:57:09 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2002-06-18 13:57:09 +0000 |
| commit | e308b5656fded8ae40edb778e5fda976f2c8ee90 (patch) | |
| tree | 5a167c99cb5074a53b7e4b504531ee8d0d92d5ef | |
| parent | 35aca10d959455d33c6c4890703ae5e95ad9b497 (diff) | |
Amelioration messages d'erreur (PR#1158)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@4934 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | typing/includemod.ml | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/typing/includemod.ml b/typing/includemod.ml index 72aea86dd..b0ee61df8 100644 --- a/typing/includemod.ml +++ b/typing/includemod.ml @@ -347,7 +347,7 @@ let include_err ppf = function | Modtype_infos(id, d1, d2) -> fprintf ppf "@[<hv 2>Module type declarations do not match:@ \ - %a@;<1 -2>is not included in@ %a@]" + %a@;<1 -2>does not match@ %a@]" (modtype_declaration id) d1 (modtype_declaration id) d2 | Modtype_permutation -> @@ -358,14 +358,14 @@ let include_err ppf = function | Class_type_declarations(id, d1, d2, reason) -> fprintf ppf "@[<hv 2>Class type declarations do not match:@ \ - %a@;<1 -2>is not included in@ %a@]@ %a" + %a@;<1 -2>does not match@ %a@]@ %a" (Printtyp.cltype_declaration id) d1 (Printtyp.cltype_declaration id) d2 Includeclass.report_error reason | Class_declarations(id, d1, d2, reason) -> fprintf ppf "@[<hv 2>Class declarations do not match:@ \ - %a@;<1 -2>is not included in@ %a@]@ %a" + %a@;<1 -2>does not match@ %a@]@ %a" (Printtyp.class_declaration id) d1 (Printtyp.class_declaration id) d2 Includeclass.report_error reason |