diff options
author | Damien Doligez <damien.doligez-inria.fr> | 2013-05-28 11:04:11 +0000 |
---|---|---|
committer | Damien Doligez <damien.doligez-inria.fr> | 2013-05-28 11:04:11 +0000 |
commit | 2b5ba03cf76dc69896586fdebb17d4e9cc64b5be (patch) | |
tree | de3b88e992183aa8f9b9dad94882a386b97c1210 /ocamldoc/odoc.ml | |
parent | 0739ee7671413d687863b728e29d220a6d57db10 (diff) | |
download | ocaml-2b5ba03cf76dc69896586fdebb17d4e9cc64b5be.tar.gz |
get rid of deprecated operators (&) and (or)
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@13705 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'ocamldoc/odoc.ml')
-rw-r--r-- | ocamldoc/odoc.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/ocamldoc/odoc.ml b/ocamldoc/odoc.ml index 029443aa75..483db75fe8 100644 --- a/ocamldoc/odoc.ml +++ b/ocamldoc/odoc.ml @@ -29,8 +29,8 @@ let (plugins, paths) = let rec iter (files, incs) = function [] | _ :: [] -> (List.rev files, List.rev incs) | "-g" :: file :: q when - ((Filename.check_suffix file "cmo") or - (Filename.check_suffix file "cma") or + ((Filename.check_suffix file "cmo") || + (Filename.check_suffix file "cma") || (Filename.check_suffix file "cmxs")) -> iter (file :: files, incs) q | "-i" :: dir :: q -> |