From: Siraaj Khandkar Date: Wed, 14 Nov 2018 17:42:56 +0000 (-0500) Subject: Rename Directory to Directory_tree X-Git-Url: https://git.xandkar.net/?p=dups.git;a=commitdiff_plain;h=7b7a6b7f7790d7d1316f625e16c5ae79292cf32b Rename Directory to Directory_tree --- diff --git a/dups.ml b/dups.ml index e88d888..84c0707 100644 --- a/dups.ml +++ b/dups.ml @@ -35,7 +35,7 @@ end = struct ) end -module Directory : sig +module Directory_tree : sig val find_files : string -> string Stream.t end = struct let find_files root = @@ -78,7 +78,7 @@ let main input = let paths = match input with | Paths_on_stdin -> In_channel.lines stdin - | Root_path root -> Directory.find_files root + | Root_path root -> Directory_tree.find_files root in let paths_by_digest = Hashtbl.create 1_000_000 in let path_count = ref 0 in