From 7b7a6b7f7790d7d1316f625e16c5ae79292cf32b Mon Sep 17 00:00:00 2001 From: Siraaj Khandkar Date: Wed, 14 Nov 2018 12:42:56 -0500 Subject: [PATCH] Rename Directory to Directory_tree --- dups.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) 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 -- 2.20.1