Skip to content

Commit

Permalink
review changes
Browse files Browse the repository at this point in the history
  • Loading branch information
Anukriti12 committed Apr 4, 2020
1 parent 2a11c93 commit aae2146
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 2 deletions.
2 changes: 1 addition & 1 deletion Changes
Expand Up @@ -196,7 +196,7 @@ Working version
Doligez)

- #9407: added warning for missing mli interface file
(Anukriti Kumar, review by Octachron, vicuna)
(Anukriti Kumar, review by Florian Angeletti)

### Internal/compiler-libs changes:

Expand Down
2 changes: 1 addition & 1 deletion utils/warnings.ml
Expand Up @@ -634,7 +634,7 @@ let message = function
Hint: Did you mean 'type %s = unit'?" name
| Unused_functor_parameter s -> "unused functor parameter " ^ s ^ "."
| Interface_not_found ->
"Cannot find interface file"
"Cannot find interface file."
;;

let nerrors = ref 0;;
Expand Down

0 comments on commit aae2146

Please sign in to comment.