diff options
Diffstat (limited to 'lib/system.ml')
| -rw-r--r-- | lib/system.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/lib/system.ml b/lib/system.ml index 37b8dee4c..fea061b04 100644 --- a/lib/system.ml +++ b/lib/system.ml @@ -23,8 +23,8 @@ let skipped_dirnames = ref ["CVS"; "_darcs"] let exclude_search_in_dirname f = skipped_dirnames := f :: !skipped_dirnames let ok_dirname f = - not (String.equal f "") && f.[0] != '.' && - not (List.mem f !skipped_dirnames) && + not (String.is_empty f) && f.[0] != '.' && + not (List.exists (String.equal f) !skipped_dirnames) && (match Unicode.ident_refutation f with None -> true | _ -> false) let all_subdirs ~unix_path:root = |