diff options
author | Florian Angeletti <florian.angeletti@inria.fr> | 2022-10-19 17:45:22 +0200 |
---|---|---|
committer | Florian Angeletti <florian.angeletti@inria.fr> | 2023-01-02 15:39:24 +0100 |
commit | 522f85f9e8653d8533f1060627fede891344905f (patch) | |
tree | 627a9a29624c1df4e0e384af51d84463c63f2157 /typing/printtyp.ml | |
parent | 0bc125f53585d44466e3616e6794fa4118d34cee (diff) | |
download | ocaml-522f85f9e8653d8533f1060627fede891344905f.tar.gz |
review: remove dangerous "!="
Diffstat (limited to 'typing/printtyp.ml')
-rw-r--r-- | typing/printtyp.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/typing/printtyp.ml b/typing/printtyp.ml index 7d1c3dfd30..8c73898dfe 100644 --- a/typing/printtyp.ml +++ b/typing/printtyp.ml @@ -144,7 +144,7 @@ module Conflicts = struct let collect_explanation namespace id ~name = let root_name = Ident.name id in - if root_name != name && not (M.mem name !explanations) then + if root_name <> name && not (M.mem name !explanations) then begin add namespace name id; if not (M.mem root_name !explanations) then |